要求工学イブニングチュートリアル 第回 ゴル指向.pptVIP

http://kaiya.cs.shinshu-u.ac.jp/2004/gora/ 要求工学イブニングチュートリアル第4回ゴール指向要求分析法 2004年4月22日 信州大学 海谷 治彦 目次 要求工学におけるゴール指向分析の役割 ゴール分析の利点 ゴール分析の基礎 – 典型的な記法等 ゴール指向手法の代表例他 i* I star KAOS NFR framework GQM AGORA 時間があれば まとめと論点 RE04の紹介を少々 講師紹介 1999年～ 信州大学 工学部 要求工学を利害対立や妥協の観点から研究 そのためのツールとしてゴール分析手法を利用 ゴール指向分析の役割 要求工学，ソフトウェア工学の 文脈において 要求工学 復習 ソフトウェア工学の一部 ソフトウェア要求を正しくまとめる 定義する ための技術や技法の集大成 ソフトウェア要求 要求は立場によって異なる 利用者は当たり前のことを言わない 要求は誤っていることがある 要求は変わることがある 要求定義のプロセス 復習 各段階で必要なこと 獲得 組織の現状（as-is を理解する 利害関係者の識別等 現状をどのように変化させたいのかを理解する 記述 組織の目標 ゴール を，開発するシステムの機能や性能 非機能 と関連付ける 検証 verification and/or validation 記述した 要求 仕様が利害関係者の本々の目標にあうかを確認する． ゴールの明示的記述 ゴールを明示的に記述することで，獲得，記述，検証で必要な活動を円滑に行うことができる． ゴール 目標 とは the object of a persons ambition or effort 辞書的な意味 開発するシステムが達成しなければならないこと．[Jac95,Zav97] プログラムが仕様を実現するのと同様に，ゴールは要求を実現する．[Kav02] ゴール why, 要求 仕様 what, 実装 how 従来の分析手法 プログラム技法をヒントにしている 「理由」や「目標」を明示する部分が無い 「what」に相当するものが一番抽象的． 構造化分析 データフロー図 コンテクスト図 で機能と境界を明確化 オブジェクト指向分析 ユースケース図で機能と境界を明確化 ゴール分析の基礎 典型的なゴール構造の記述法 ゴールを木 または非循環有向グラフ 構造で記述する． 下位構造が上位構造の詳細化となっている． 分解をAND/ORに区別する． AND 上位ゴールを達成するのに下位全ての達成が必要． OR 上位ゴールを達成するのに下位どれかの達成が必要． 人工知能での問題分析手法の流用． パターン 例 典型的なゴールの記述様式 システムによって達成されるステークホルダの望むべき状態?状況を記述する． 上位のゴールはこの形態の場合が多い． その状態?状況にするために行うことを記述する． 下位のはこの形態が多い． この形態で書かれたゴールは個々の要求項目（例えばユースケースや機能項目 とみなしてよい場合がある． ゴール以外の要素との関連 ほとんどのゴール分析技法はゴール以外の要素も記述する． ゴールの遂行者 ゴール達成の利害関係者 ゴールを達成するための手順や作業 手順や作業の実行に必要な資源 等 個々の技法でこれらは解説する． Stakeholder ステークホルダ，利害関係者 開発されるシステムの導入によって 起こりうる変化に利害関係を持つ人，利益や損失が生じる可能性のある人 [Mac96] ステークホルダは UMLやDFDでの アクターとは異なる場合がある． 利害関係はあっても運用には関係ない人もいるため． 「誰の」ゴールなのか？を考えることがゴール分析では重要となる． 代表的なゴール分析手法 要求工学の文脈において i*, KAOS, NFR, GQM, AGORA i* eye star An agent-oriented modelling framework 要求獲得に役立つ． 現状のビジネスを理解 システム導入による効果を分析 5種類の要素をグラフで表現し，システム要求とそれに関連する情報を表現． 5つの要素 Actor: 処理の遂行者だけでなく，目的や理由，言質を与える コミットする 者 物 を表す．ステークホルダに近い． Goal: 遂行できるか否かを判断できる条件や状態．機能要求にほぼ対応． Task: あるgoalを達成する特定の手順． Soft-goal: 遂行の可否が明確に判断できないgoal．非機能 品質や性能 要求に対応． Resource: goal達成 task遂行 に利用できる物や情報． SD modelとSR model