Transformation of KAOS Goal Models to BPMN Models Using Refinement Patterns

DOI IR
  • HORITA Hiroki
    Graduate School of Information Systems, The University of Electro-Communications
  • HONDA Kozo
    Graduate School of Information Systems, The University of Electro-Communications
  • HIRAYAMA Hideaki
    Graduate School of Information Systems, The University of Electro-Communications
  • SEI Yuichi
    Graduate School of Information Systems, The University of Electro-Communications
  • NAKAGAWA Hiroyuki
    Graduate School of Information Science and Technology, Osaka University
  • TAHARA Yasuyuki
    Graduate School of Information Systems, The University of Electro-Communications
  • OHSUGA Akihiko
    Graduate School of Information Systems, The University of Electro-Communications

Bibliographic Information

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

Description

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.

Journal

  • Computer Software

    Computer Software 32 (4), 4_141-4_160, 2015

    Japan Society for Software Science and Technology

Related Projects

See more

Details 詳細情報について

Report a problem

Back to top