Formal Semantics of BPMN Process Models Using CPN


(*) Corresponding author


Authors' affiliations


DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)

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 © 2017 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.
http://dx.doi.org/10.2316/p.2012.758-016

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.
http://dx.doi.org/10.1109/apscc.2008.208

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