@article{oai:uec.repo.nii.ac.jp:00009124,
 author = {堀田, 大貴 and HORITA, Hiroki and 本田, 耕三 and HONDA, Kozo and 平山, 秀昭 and HIRAYAMA, Hideaki and 清, 雄一 and SEI, Yuichi and 中川, 博之 and NAKAGAWA, Hiroyuki and 田原, 康之 and TAHARA, Yasuyuki and 大須賀, 昭彦 and OHSUGA, Akihiko},
 issue = {4},
 journal = {コンピュータ ソフトウェア},
 month = {Oct},
 note = {ソフトウェア開発において，ビジネスプロセスのモデル化は重要である．適切なビジネスプロセスモデルを構築するためには，ステークホルダの要求をモデルへ反映する必要がある．そこで本研究ではリファインメントパターンに基づいて構築されたゴールモデルをビジネスプロセスモデルへ変換する手法を提案する．リファインメントパターンに基づいたゴール分解の関係をビジネスプロセスモデルへ変換するためのルール及びアルゴリズムを示す．本手法によって，リファインメントパターンに基づいてステークホルダの要求を形式的に捉えることで，ビジネスプロセスモデル構築に役立てることができる．複数の事例に本手法を適用すること及び，モデル検査による検証によって本手法の有効性を評価する．, In the software development, modeling business process is important. In constructing business process model appropriately, stakeholder's requirements should be reflected in the model. Therefore, in this research, we propose transformation approach from goal models using refinement pattern to business process models. It is denoted that rules of transformation and algorithm. Using our approach supports constructing business process models by specifying stakeholder's requirements formally using refinement patterns. We evaluate the effectiveness of our approach through applying our approach for a number of cases and using model-checking techniques.},
 pages = {4_141--4_160},
 title = {リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換},
 volume = {32},
 year = {2015},
 yomi = {ホリタ, ヒロキ and ホンダ, コウゾウ and ヒラヤマ, ヒデアキ and セイ, ユウイチ and ナカガワ, ヒロユキ and タハラ, ヤスユキ and オオスガ, アキヒコ}
}