Semantics of Standard Process Models with OR-Joins

The Business Process Modeling Notation (BPMN) is an emerging standard for capturing business processes. Like its predecessors, BPMN lacks a formal semantics and many of its features are subject to interpretation. One construct of BPMN that has an ambiguous semantics is the OR-join. Several formal semantics of this construct have been proposed for similar languages such as EPCs and YAWL. However, these existing semantics are computationally expensive. This paper formulates a semantics of the OR-join in BPMN for which enablement of an OR-join in a process model can be evaluated in quadratic time in terms of the total number of elements in the model. This complexity can be reduced down to linear-time after materializing a quadratic-sized data structure at design-time. The paper also shows how to efficiently detect the enablement of an OR-join incrementally as the execution of a process instance unfolds.

[1]  Klaus Pohl,et al.  Integration Testing in Software Product Line Engineering: A Model-Based Technique , 2007, FASE.

[2]  Ekkart Kindler,et al.  On the semantics of EPCs: A vicious circle , 2002, EPK.

[3]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[4]  Jeremy Gibbons,et al.  A Process Semantics for BPMN , 2008, ICFEM.

[5]  J. Krogstie,et al.  Formalization and verification of EPCs with OR-joins based on state and context , 2007 .

[6]  Ekkart Kindler,et al.  On the Semantics of EPCs: A Framework for Resolving the Vicious Circle , 2004, Business Process Management.

[7]  Moe Thandar Wynn,et al.  Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets , 2005, ICATPN.

[8]  Ekkart Kindler,et al.  On the semantics of EPCs: Faster calculation for EPCs with small state spaces , 2005, EPK.

[9]  Ekkart Kindler,et al.  On the semantics of EPCs: Resolving the vicious circle , 2006, Data Knowl. Eng..

[10]  Moe Thandar Wynn.  Semantics, verification, and implementation of workflows with cancellation regions and OR-joins , 2006 .

[11]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[12]  Remco M. Dijkman,et al.  Formal semantics and automated analysis of BPMN process models , 2007 .

[13]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[14]  Ekkart Kindler,et al.  On the Semantics of EPCs - Efficient Calculation and Simulation , 2005, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..