Open Access Open Access  Restricted Access Subscription or Fee Access

Formal Semantics of BPMN Process Models Using CPN


(*) Corresponding author


Authors' affiliations


DOI: https://doi.org/10.15866/irecos.v18i2.24401

Abstract


Business Process Reengineering (BPR) is the reaction of enterprises to rapidly changing requirements to achieve the new goals in the best cost/time and create a new reengineered Business Process (BP). Business Process Modeling Notation (BPMN) is now the de-facto BP modelling language due to rich activity and control constructs, but with possibilities to contain a bunch of semantic errors which are difficult to detect by analysts and costly to fix later. This paper proposes a mapping from BPMN to Colored Petri Nets (CPN) in order to define the formal semantics for BPMN models. This mapping is implemented as a tool that is jointly used with CPN analysis techniques to detect semantic errors in BPMN models.
Copyright © 2023 Praise Worthy Prize - All rights reserved.

Keywords


Business Process Reengineering; BPR; Business Process Modeling Notation; BPMN; Colored Petri Nets; CPN; Petri Net Markup Language; PNML; Formalization; Verification

Full Text:

PDF


References


Davenport, Thomas & Short, The New Industrial Engineering: Information Technology and Business Process Redesign", 1990, pp 11-27.

T. S. Staines. Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets, IEEE, 2008 pp. 191-200.

F. Puhlmann and M. Weske, Using the pi-Calculus for Formalizing Workflow Patterns, 2005 pp. 153-168.

R. M. Dijkman, M. Dumas, and C. Ouyang, Formal Semantics and Analysis of BPMN Process Models using Petri Nets, 2007.

Mohamed Ramadan, Hicham G. Elmongui, Riham Hassan, BPMN Formalisation using Coloured Petri Nets, 2012.

Object Management Group, Business Process Model and Notation (BPMN), ISO/IEC 19510, 2013.

Kurt Jensen, A Brief Introduction to Coloured Petri Nets, In: E. Brinksma (ed.): Tools and Algorithms for Construction and Analysis of Systems. Proceeding of the TACAS'97 Workshop, Enschede, The Netherlands 1997, LNCS Vol. 1217, Springer-Verlag 1997, 203-208.

Kurt Jensen, An Introduction to the Theoretical Aspects of Coloured Petri Nets, In J.W. de Bakker and W.-P. de Roever, editors, A Decade of Concurrency, Reflections and Perspectives, volume 803 of Lecture Notes in Computer Science. Springer-Verlag, 1994.

Wil M.P. van der Aalst, Christian Stahl, Modeling Business Processes: A Petri Net-Oriented Approach (Information Systems), 2011.

Kurt Jensen. An Introduction to the Practical Aspects of Coloured Petri Nets, Lecture Notes in Computer Science, 1998, pp. 237-256.

Tsukasa Takemura, Formal Semantics and Verification of BPMN Transaction and Compensation, IEEE, 2008, pp. 284-290.

Object Management Group, Business Process Model and Notation (BPMN) Version 2.0.2, http://www.omg.org/spec/BPMN/2.0.2/, 2013.

BPMN2 Modeler website, https://www.eclipse.org/bpmn2-modeler, 2013.

ISO/IEC 15909-2, Systems and software engineering -- High-level Petri nets -- Part 2: Transfer format, 2011.

CPNTools Documentation, http://cpntools.org/documentation/old/dtd_for_net_files, 2015.

Tyner Blain. BPMN Deadlock example: http://tynerblain.com/blog/2006/09/20/bpmn-deadlock, 2006.


Refbacks

  • There are currently no refbacks.


Please send any question about this web site to info@praiseworthyprize.com
Copyright © 2005-2024 Praise Worthy Prize