ポリシー管理ツール開発における数学的手法に基づく要求仕様の定義と実現

• Item type: SIG Technical Reports(1)
• 公開日: 2001-11-21
• タイトル: ポリシー管理ツール開発における数学的手法に基づく要求仕様の定義と実現
• タイトル / 言語: en
• タイトル: A mathematical approach to definition and fulfillment of requirements for development of a policy management tool
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: NECネットワーキング研究所
• 著者所属(英): en
• 著者所属(英): Networking Research Laboratories, NEC Corporation
• 著者名: 登内, 敏夫
• 著者名(英): Toshio, Tonouchi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ポリシーに基づく分散システム管理支援ツールとして，ツリー構造のデータを操作するDomain Browserを開発した．通常のプロトタイプ開発手法で獲得した要求仕様に加え，ツリー視覚化アルゴリズムに対する要求仕様を数学的に定義した．採用したHyperbolic Tree視覚化アルゴリズムがこれらの要求仕様を満たすことを証明した．本手法は，色などのプロトタイプ手法で獲得・実現する嗜好的な要求仕様とは異なる，本質的要求仕様を獲得・実現するのに有効であった．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We developed a policy management tool called a Domain Browser for management of distributed computing systems. We defined mathematically requirements of the Domain Browser and proved that the Hyperbolic Tree visualization algorism we selected satisfies the requirements. This proof-based method is useful for acquiring essential requirements other than sensitive requirements, such as colors, acquired in the prototype method.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 2001, 号 114(2001-SE-135), p. 1-8, 発行日 2001-11-21
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会