リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換

DOI 機関リポジトリ

書誌事項

タイトル別名
  • Transformation of KAOS Goal Models to BPMN Models Using Refinement Patterns

説明

ソフトウェア開発において，ビジネスプロセスのモデル化は重要である．適切なビジネスプロセスモデルを構築するためには，ステークホルダの要求をモデルへ反映する必要がある．そこで本研究ではリファインメントパターンに基づいて構築されたゴールモデルをビジネスプロセスモデルへ変換する手法を提案する．リファインメントパターンに基づいたゴール分解の関係をビジネスプロセスモデルへ変換するためのルール及びアルゴリズムを示す．本手法によって，リファインメントパターンに基づいてステークホルダの要求を形式的に捉えることで，ビジネスプロセスモデル構築に役立てることができる．複数の事例に本手法を適用すること及び，モデル検査による検証によって本手法の有効性を評価する．

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ