Transformation to formalized business process model
- Authors
- Kim, Gun-Woo; Lee, Seung Hoon; SEO, HYE MYUNG; Son, Jin Hyun
- Issue Date
- Feb-2010
- Publisher
- International Association of Science and Technology for Development
- Keywords
- BPMN; Business process; Formalized model; Transformation to WS-BPEL
- Citation
- Proceedings of the IASTED International Conference on Software Engineering, SE 2010, pp.17 - 24
- Indexed
- SCOPUS
- Journal Title
- Proceedings of the IASTED International Conference on Software Engineering, SE 2010
- Start Page
- 17
- End Page
- 24
- URI
- https://scholarworks.bwise.kr/erica/handle/2021.sw.erica/40441
- DOI
- 10.2316/P.2010.677-039
- Abstract
- A number of business organizations are beginning to realize the importance of business process management (BPM) in achieving specific organizational goals through process automation. BPM developed as process-aware system that is based on a defined process model. This process model is translated into an executable language that can be executed by process engine. However, gaps often exist between the process model and the executable language. In other words, the process model cannot be fully represented in the executable language. In addition, a lack of formalized procedures during the model design phase will exacerbate ambiguities and inconsistencies, further complicating model verification and translation to the executable language. In this paper, we present a mechanism for transforming a BPMN-based process model into a formalized process model that can be better represented in WS-BPEL and verifying a model using a workflow-based verification mechanism, thus avoiding the ambiguities and inconstancies inherent to BPMN based process models.
- Files in This Item
-
Go to Link
- Appears in
Collections - COLLEGE OF SCIENCE AND CONVERGENCE TECHNOLOGY > ERICA 의약생명과학과 > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.