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