Faster Or-Join Enactment for BPMN 2.0

  • Beat Gfeller
  • Hagen Völzer
  • Gunnar Wilmsmann
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 95)


We propose an efficient algorithm that enacts the control-flow of BPMN, in particular the inclusive Or-join gateway. The original algorithm for enacting Or-joins in BPMN 2.0 needs, upon each token move in the diagram, linear time in the number of edges of the diagram to find out whether a given Or-join is enabled, whereas our proposal essentially needs only constant time to do so.


Outgoing Edge Incoming Edge Execution Cost Input Edge Token Move 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bravetti, M., Bultan, T. (eds.): WS-FM 2010. LNCS, vol. 6551. Springer, Heidelberg (2011)Google Scholar
  2. 2.
    Christiansen, D.R., Carbone, M., Hildebrandt, T.: Formal semantics and implementation of bpmn 2.0 inclusive gateways. In: Bravetti, Bultan (eds.) [1], pp. 146–160Google Scholar
  3. 3.
    Dumas, M., Grosskopf, A., Hettel, T., Wynn, M.T.: Semantics of Standard Process Models with OR-Joins. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 41–58. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    OMG. Business process model and notation (BPMN) version 2.0, OMG document number dtc/2010-05-03. Technical report (2010)Google Scholar
  5. 5.
    Polyvyanyy, A., Vanhatalo, J., Völzer, H.: Simplified computation and generalization of the refined process structure tree. In: Bravetti, Bultan (eds.) [1], pp. 25–41Google Scholar
  6. 6.
    Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. Data Knowl. Eng. 68(9), 793–818 (2009)CrossRefGoogle Scholar
  7. 7.
    Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Völzer, H.: A New Semantics for the Inclusive Converging Gateway in Safe Processes. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 294–309. Springer, Heidelberg (2010)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Beat Gfeller
    • 1
  • Hagen Völzer
    • 1
  • Gunnar Wilmsmann
    • 2
  1. 1.IBM ResearchZurichSwitzerland
  2. 2.IBM Software GroupBöblingenGermany

Personalised recommendations