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