Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies

  • Flavio Corradini
  • Andrea Morichetta
  • Barbara ReEmail author
  • Francesco Tiezzi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11760)


With the evolution of distributed systems, nowadays BPMN choreography diagrams have acquired more and more importance for modelling systems interaction. However, one of the drawbacks of this model is the lack of formal semantics, which leads to different interpretations, and hence implementations, of some of its features. Among the BPMN choreography elements, particularly ambiguous is the semantics of the exclusive and event-based gateways, used to represent different forms of choices. Formalisations of these elements have been proposed in the literature, but none of them is derived from a direct and faithful modelling of the description provided by the BPMN standard. In this work, instead, we provide a direct formalisation, in terms of an operational semantics, that aims at shedding light on the intricacies of the behaviour of the exclusive and event-based gateways. The effectiveness of the approach is shown by illustrating how our semantics can disambiguate tricky behaviours in choreography models.


BPMN 2.0 Choreographies Exclusive and event-based gateways Operational semantics 


  1. 1.
    van der Aalst, W.M.: Business process management: a comprehensive survey. ISRN Softw. Eng. 2678, 1–12 (2013)CrossRefGoogle Scholar
  2. 2.
    Mendling, J., et al.: Blockchains for business process management - challenges and opportunities. ACM Trans. Manag. Inf. Syst. 9(1), 4:1–4:16 (2018)CrossRefGoogle Scholar
  3. 3.
    Breu, R., et al.: Towards living inter-organizational processes. In: Business Informatics, pp. 363–366. IEEE Computer Society (2013)Google Scholar
  4. 4.
    Suchenia, A., Potempa, T., Ligęza, A., Jobczyk, K., Kluza, K.: Selected approaches towards taxonomy of business process anomalies. In: Pełech-Pilichowski, T., Mach-Król, M., Olszak, C.M. (eds.) Advances in Business ICT: New Ideas from Ongoing Research. SCI, vol. 658, pp. 65–85. Springer, Cham (2017). Scholar
  5. 5.
    Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: POPL, pp. 191–202. ACM (2012)Google Scholar
  6. 6.
    Bertolino, A., Marchetti, E., Morichetta, A.: Adequate monitoring of service compositions. In: 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 59–69 (2013)Google Scholar
  7. 7.
    Börger, E.: Approaches to modeling business processes. Soft. Syst. Model. 11(3), 305–318 (2012)CrossRefGoogle Scholar
  8. 8.
    Chinosi, M., Trombetta, A.: BPMN: an introduction to the standard. Comput. Standards Interfaces 34(1), 124–134 (2012)CrossRefGoogle Scholar
  9. 9.
    Corradini, F., Fornari, F., Polini, A., Re, B., Tiezzi, F.: A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166, 35–70 (2018)CrossRefGoogle Scholar
  10. 10.
    Corradini, F., Morichetta, A., Polini, A., Re, B., Tiezzi, F.: Collaboration vs. choreography conformance in BPMN 2.0: from theory to practice. In: EDOC, pp. 95–104. IEEE (2018)Google Scholar
  11. 11.
    Corradini, F., Muzi, C., Re, B., Rossi, L., Tiezzi, F.: Global vs. local semantics of BPMN 2.0 OR-join. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 321–336. Springer, Cham (2018). Scholar
  12. 12.
    Cruz-Filipe, L., Larsen, K.S., Montesi, F.: The paths to choreography extraction. In: Esparza, J., Murawski, A.S. (eds.) FoSSaCS 2017. LNCS, vol. 10203, pp. 424–440. Springer, Heidelberg (2017). Scholar
  13. 13.
    Dumas, M., Hull, R., Mendling, J., Weber, I.: Blockchain technology for collaborative information systems. Dagstuhl Rep. 8(8), 67–129 (2018)Google Scholar
  14. 14.
    Evéquoz, F., Sterren, C.: Waiting for the miracle: comparative analysis of twelve business process management systems regarding the support of BPMN 2.0 palette and export. Technical report, HES-SO (2011)Google Scholar
  15. 15.
    Francalanza, A., Mezzina, C.A., Tuosto, E.: Reversible choreographies via monitoring in erlang. In: Bonomi, S., Rivière, E. (eds.) DAIS 2018. LNCS, vol. 10853, pp. 75–92. Springer, Cham (2018). Scholar
  16. 16.
    Geiger, M., Wirtz, G.: BPMN 2.0 serialization-standard compliance issues and evaluation of modeling tools. In: Enterprise Modelling and Information Systems Architectures (2013)Google Scholar
  17. 17.
    Gutschier, C., Hoch, R., Kaindl, H., Popp, R.: A pitfall with BPMN execution. In: WEB, pp. 7–13 (2014)Google Scholar
  18. 18.
    Hallal, R., Jaber, M., Abdallah, R.: From global choreography to efficient distributed implementation. In: HPCS, pp. 756–763. IEEE (2018)Google Scholar
  19. 19.
    Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1–9:67 (2016)MathSciNetCrossRefGoogle Scholar
  20. 20.
    Lange, J., Tuosto, E., Yoshida, N.: From communicating machines to graphical choreographies. In: POPL, pp. 221–232. ACM (2015)Google Scholar
  21. 21.
    Dalla Preda, M., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J.: Dynamic choreographies. In: Holvoet, T., Viroli, M. (eds.) COORDINATION 2015. LNCS, vol. 9037, pp. 67–82. Springer, Cham (2015). Scholar
  22. 22.
    zur Muehlen, M., Recker, J.: How much language is enough? Theoretical and practical use of the business process modeling notation. Seminal Contributions to Information Systems Engineering, pp. 429–443. Springer, Heidelberg (2013). Scholar
  23. 23.
    OMG: Business Process Model and Notation (BPMN V 2.0) (2011)Google Scholar
  24. 24.
    Onggo, B.S.: Agent-based simulation model representation using BPMN. In: Formal Languages for Computer Simulation, pp. 378–400. IGI Global (2014)Google Scholar
  25. 25.
    Tuosto, E., Guanciale, R.: Semantics of global view of choreographies. JLAMP 95, 17–40 (2018)MathSciNetGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Flavio Corradini
    • 1
  • Andrea Morichetta
    • 1
  • Barbara Re
    • 1
    Email author
  • Francesco Tiezzi
    • 1
  1. 1.School of Science and TechnologyUniversity of CamerinoCamerinoItaly

Personalised recommendations