Refinement of BPMN 2.0 Inclusive and Complex Gateway Activation Concept Towards Process Engine

  • Jan Kubovy
  • Josef Küng
Conference paper
Part of the Lecture Notes in Information Systems and Organisation book series (LNISO, volume 8)


This paper presents a possible refinement of Business Process Model and Notation (BPMN) Gateway activation concept for non-event-based gateways. The core refinement is the concrete formal definition of upstream token concept and calculation of the enabledness of an inclusive gateways (or also Or-Join) using modified Dijkstra’s algorithm. The introduced algorithm for upstream token calculation considers also situations where two or more gateways are mutually dependent.


Bpmn Inclusive gateway Complex gateway Activation Process engine Asm method Refinement 


  1. 1.
    Object Management Group (OMG). (2011). Business process model and notation (BPMN) 2.0. Retrieved August 2011, from
  2. 2.
    Börger, E., Sörensen, O. (2011). BPMN core modeling concepts: inheritance-based execution semantics. In D.W. Embley & B. Thalheim (Eds.), Handbook of conceptual modeling: theory, practice and research challenges. Springer-Verlag, Berlin.Google Scholar
  3. 3.
    Börger, E., Stärk, R.F. (2003). Abstract state machines—a method for high-level system design and analysis. Springer-Verlag, London.Google Scholar
  4. 4.
    Börger, E., & Thalheim, B. (2008). A method for verifiable and validatable business process modeling. Advances in Software Engineering, LNCS, 5316, 59–115.CrossRefGoogle Scholar
  5. 5.
    Völzer, H. (2010). A new semantics for the inclusive converging gateway in safe processes. In: Proceedings of the 8th International Conference on Business Process Management, BPM’10 (pp. 294–309). Berlin, Heidelberg, Springer-Verlag.Google Scholar
  6. 6.
    Dijkstra, E.W. (1959). A note on two problems in connexion with graphs. In: Numerische Mathematik (Vol. 1, p. 269271). Springer, Berlin.Google Scholar
  7. 7.
    Dumas, M., Grosskopf, A., Hettel, T., Wynn, M. (2007). Semantics of standard process models with OR-joins. In: Proceedings of the 2007 OTM Confederated International Conference on the Move to Meaningful Internet Systems: CoopIS, DOA, ODBASE, GADA, and ISVolume Part I. OTM’07 (pp. 41–58). Berlin, Heidelberg, Springer-Verlag.Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  1. 1.Institute for Application Oriented Knowledge ProcessingJohannes Kepler University in LinzLinzAustria

Personalised recommendations