Behavior-based Decomposition of BPMN 2.0 Control Flow

Jan Kubovy, Dagmar Auer, Josef Küng

2014

Abstract

The Business Process Model and Notation (BPMN) is a well-established industry standard in the area of Business Process Management (BPM). However, still with the current version 2.0 of BPMN, problems and contradictions with the underlying semantics of the meta-model can be identified. This paper shows an alternative approach for modeling the BPMN meta-model, using behavior-based decomposition. The focus in this paper is on control flow. We use Abstract State Machines (ASM) to describe the decomposition of the merging and splitting behavior of the different BPMN flow node types, such as parallel, exclusive, inclusive and complex, as defined in the BPMN 2.0 standard, resulting in behavior patterns. Furthermore an example for the composition of different gateway types is given using these behavior patterns.

References

  1. Börger, E. and Sörensen, O. (2011). BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics. In Embley, D. W. and Thalheim, B., editors, Handbook of Conceptual Modeling: Theory, Practice and Research Challenges, chapter 9. Springer-Verlag.
  2. Börger, E. and Stärk, R. F. (2003). Abstract State Machines - A Method for High-Level System Design and Analysis. Springer-Verlag.
  3. Börger, E. and Thalheim, B. (2008a). A method for verifiable and validatable business process modeling. Advances in Software Engineering, LNCS, 5316:59-115.
  4. Börger, E. and Thalheim, B. (2008b). Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. In Proceedings of the 1st international conference on Abstract State Machines, B and Z, pages 24-38. Springer Berlin / Heidelberg.
  5. Dijkman, R. M., Dumas, M., and Ouyang, C. (2007). Formal Semantics and Analysis of BPMN Process Models using Petri Nets.
  6. Freund, J., Rücker, B., and Heinninger, T. (2010). Praxishandbuch BPMN Incl. BPMN 2.0. Carl Hanser Verlag München Wien.
  7. Gurevich, Y. (1995). Evolving Algebras 1993: Lipari Guide. Specification and Validation Methods, pages 231-243.
  8. Kubovy, J., Geist, V., and Kossak, F. (2012). A Formal Description of the ITIL Change Management Process Using Abstract State Machines. 2012 23rd International Workshop on Database and Expert Systems Applications, 0:65-69.
  9. Object Management Group (OMG) (2011). Business Process Model and Notation (BPMN) 2.0. www.omg.org/spec/BPMN/2.0/.
Download


Paper Citation


in Harvard Style

Kubovy J., Auer D. and Küng J. (2014). Behavior-based Decomposition of BPMN 2.0 Control Flow . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-758-029-1, pages 263-271. DOI: 10.5220/0004862302630271


in Bibtex Style

@conference{iceis14,
author={Jan Kubovy and Dagmar Auer and Josef Küng},
title={Behavior-based Decomposition of BPMN 2.0 Control Flow},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2014},
pages={263-271},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004862302630271},
isbn={978-989-758-029-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - Behavior-based Decomposition of BPMN 2.0 Control Flow
SN - 978-989-758-029-1
AU - Kubovy J.
AU - Auer D.
AU - Küng J.
PY - 2014
SP - 263
EP - 271
DO - 10.5220/0004862302630271