Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
We present the first direct formalization of the semantics of inclusive gateways as described in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal semantics is given for a minimal subset of BPMN 2.0 containing just the inclusive and exclusive gateways and the start and stop events. By focusing on this subset we achieve a simple graph model that highlights the particular non-local features of the inclusive gateway semantics. We sketch two ways of implementing the semantics using algorithms based on incrementally updated data structures and also discuss distributed communication-based implementations of the two algorithms.
KeywordsFormal Semantic Object Management Group Sequence Flow Business Process Modeling Notation Start Event
Unable to display preview. Download preview PDF.
- 1.Börger, E., Sörensen, O., Thalheim, B.: On defining the behavior of OR-joins in business process models. J. UCS 15(1), 3–32 (2009)Google Scholar
- 4.Object Management Group. BPMN 1.0: OMG final adopted specification (February 2006), http://www.bpmn.org/Documents/OMG_Final_Adopted_BPM_1-0_Spec_06-02-01.pdf (accessed May 10, 2010)
- 5.Object Management Group. Business process modeling notation (BPMN) 2.0 beta 1(August 2009), http://www.omg.org/cgi-bin/doc?dtc/09-08-14.pdf (accessed May 10, 2010)
- 12.Ye, J., Sun, S., Song, W., Wen, L.: Formal semantics of BPMN process models using YAWL. In: Second International Symposium on Intelligent Information Technology Application, IITA 2008, vol. 2, pp. 70–74, 20-22 (2008)Google Scholar