Item type |
学術雑誌論文 / Journal Article(1) |
公開日 |
2019-04-15 |
タイトル |
|
|
タイトル |
リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換 |
|
言語 |
ja |
タイトル |
|
|
タイトル |
Transformation of KAOS Goal Models to BPMN Models Using Refinement Patterns |
|
言語 |
en |
言語 |
|
|
言語 |
jpn |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
journal article |
著者 |
堀田, 大貴
本田, 耕三
平山, 秀昭
清, 雄一
中川, 博之
田原, 康之
大須賀, 昭彦
|
抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
ソフトウェア開発において,ビジネスプロセスのモデル化は重要である.適切なビジネスプロセスモデルを構築するためには,ステークホルダの要求をモデルへ反映する必要がある.そこで本研究ではリファインメントパターンに基づいて構築されたゴールモデルをビジネスプロセスモデルへ変換する手法を提案する.リファインメントパターンに基づいたゴール分解の関係をビジネスプロセスモデルへ変換するためのルール及びアルゴリズムを示す.本手法によって,リファインメントパターンに基づいてステークホルダの要求を形式的に捉えることで,ビジネスプロセスモデル構築に役立てることができる.複数の事例に本手法を適用すること及び,モデル検査による検証によって本手法の有効性を評価する. |
抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
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. |
書誌情報 |
ja : コンピュータ ソフトウェア
巻 32,
号 4,
p. 4_141-4_160,
発行日 2015-10-26
|
出版者 |
|
|
出版者 |
日本ソフトウェア科学会 |
ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
0289-6540 |
DOI |
|
|
関連タイプ |
isIdenticalTo |
|
|
識別子タイプ |
DOI |
|
|
関連識別子 |
10.11309/jssst.32.4_141 |
権利 |
|
|
権利情報 |
© 2015 日本ソフトウェア科学会. ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します.本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです.ご利用に当たっては「著作権法」に従うことをお願いいたします. |
関連サイト |
|
|
|
識別子タイプ |
DOI |
|
|
関連識別子 |
https://doi.org/10.11309/jssst.32.4_141 |
著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |