講演抄録/キーワード |
講演名 |
2010-10-14 15:00
形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法 ○野村 潤・成瀬龍人(九工大)・外村慶二・鵜林尚靖(九大)・司代尊裕・岩井明史(デンソー) SS2010-30 |
抄録 |
(和) |
ソフトウェア開発の初期段階において要求の抽出に効果的な分析手法にゴール指向分析法がある.しかし,開発するシステムが多くのコンテキストから影響を受ける場合には,ゴールモデルの巨大化・複雑化という問題が生じる.そこで本研究では,コンポーネントベース・ゴールモデリング手法C-KAOS(Component-based KAOS)を提案する.C-KAOSを用いることで,ゴールモデルをゴールコンポーネントとして分割することができ,再利用可能なゴールコンポーネントをゴールモデルへ合成することができる.C-KAOSでは,すでに正しさが証明された形式的洗練パターンを細分化規則として用いることで,ゴールモデルを正しく分割統治するための方法を提供する. |
(英) |
Goal-oriented analysis methods are effective for eliciting requirements at the early stages of software development. However, a goal tree tends to be large and complex when we have to take into account the many possible contexts related to a target system. To deal with this problem, we propose C-KAOS (Component-based KAOS), a component-based goal modeling method. Using C-KAOS, we can divide a goal tree into a set of goal components and synthesize reusable goal components. C-KAOS provides a correct divide-and-conquer mechanism by adopting formal refinement patterns whose correctness are already proven. |
キーワード |
(和) |
ゴール指向要求分析 / KAOS / / / / / / |
(英) |
goal-oriented requirements engineering / KAOS / / / / / / |
文献情報 |
信学技報, vol. 110, no. 227, SS2010-30, pp. 13-18, 2010年10月. |
資料番号 |
SS2010-30 |
発行日 |
2010-10-07 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2010-30 |