形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法

摘要

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.%ソフトウェア開発の初期段階において要求の抽出に効果的な分析手法にゴール指向分析法がある．しかし，開発するシステムが多くのコンテキストから影響を受ける場合には，ゴールモデルの巨大化・複雑化という問題が生じる．そこで本研究では，コンポーネントべース・ゴールモデリング手法C-KAOS（Component-based KAOS）を提案する．C-KAOSを用いることで，ゴールモデルをゴールコンポーネントとして分割することができ，再利用可能なゴールコンポーネントをゴールモデルへ合成することができる．C-KAOSでは，すでに正しさが証明された形式的洗練パターンを細分化規則として用いることで，ゴールモデルを正しく分割統治するための方法を提供する．