On Avoiding Erroneous Synchronization in BPMN Processes

BPMN has acquired a clear predominance in the modeling of organization processes. Since it is a fairly complex modeling language, in some cases it is important to clarify the behavior of a modeled process, especially when concurrency comes into play. We consider unsafe process models with arbitrary topology, and we focus on the effects of concurrent control flows activated within single process instances. We use text annotations to clarify the concurrent behavior, and tokens with identity to regulate the synchronizations. We illustrate the benefits of our approach by a simple, yet realistic, scenario about paper reviewing.

[1]  Olegas Vasilecas,et al.  Business Process Modelling and Simulation: Hybrid Method for Concurrency Aspect Modelling , 2013 .

[2]  Andrea Polini,et al.  An Operational Semantics of BPMN Collaboration , 2015, FACS.

[3]  Mathias Weske,et al.  Maximal Structuring of Acyclic Process Models , 2011, Comput. J..

[4]  Bernhard Thalheim,et al.  A Method for Verifiable and Validatable Business Process Modeling , 2007, Lipari Summer School.

[5]  Francesco Tiezzi,et al.  Using formal methods to develop WS-BPEL applications , 2012, Sci. Comput. Program..

[6]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[7]  Jan Mendling,et al.  Thresholds for error probability measures of business process models , 2012, J. Syst. Softw..

[8]  Mathias Weske,et al.  BPEL to BPMN: The Myth of a Straight-Forward Mapping , 2008, OTM Conferences.

[9]  Bernhard Thalheim,et al.  On Defining the Behavior of OR-joins in Business Process Models , 2009, J. Univers. Comput. Sci..

[10]  Jan Mendling,et al.  Seven process modeling guidelines (7PMG) , 2010, Inf. Softw. Technol..

[11]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[12]  Kees M. van Hee,et al.  Business Process Modeling Using Petri Nets , 2013, Trans. Petri Nets Other Model. Concurr..

[13]  Marlon Dumas,et al.  Structuring acyclic process models , 2012, Inf. Syst..

[14]  John A. Zachman,et al.  A Framework for Information Systems Architecture , 1987, IBM Syst. J..

[15]  Christoph Bussler,et al.  The Structured Phase of Concurrency , 2013, Seminal Contributions to Information Systems Engineering.

[16]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[17]  Kees M. van Hee,et al.  Generation of Database Transactions with Petri Nets , 2009, Fundam. Informaticae.

[18]  Rance Cleaveland,et al.  Strategic directions in concurrency research , 1996, CSUR.

[19]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[20]  Jan Mendling,et al.  On the Translation between BPMN and BPEL , 2006, EMMSAD.

[21]  John C. Henderson,et al.  Strategic Alignment: Leveraging Information Technology for Transforming Organizations , 1999, IBM Syst. J..

[22]  Monique Snoeck,et al.  Pragmatic guidelines for business process modeling , 2014 .

[23]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .