Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
van der Aalst, W.M.: Business process management: a comprehensive survey. ISRN Softw. Eng. 2678, 1–12 (2013)
Mendling, J., et al.: Blockchains for business process management - challenges and opportunities. ACM Trans. Manag. Inf. Syst. 9(1), 4:1–4:16 (2018)
Breu, R., et al.: Towards living inter-organizational processes. In: Business Informatics, pp. 363–366. IEEE Computer Society (2013)
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). https://doi.org/10.1007/978-3-319-47208-9_5
Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: POPL, pp. 191–202. ACM (2012)
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)
Börger, E.: Approaches to modeling business processes. Soft. Syst. Model. 11(3), 305–318 (2012)
Chinosi, M., Trombetta, A.: BPMN: an introduction to the standard. Comput. Standards Interfaces 34(1), 124–134 (2012)
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)
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)
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). https://doi.org/10.1007/978-3-319-73117-9_23
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). https://doi.org/10.1007/978-3-662-54458-7_25
Dumas, M., Hull, R., Mendling, J., Weber, I.: Blockchain technology for collaborative information systems. Dagstuhl Rep. 8(8), 67–129 (2018)
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)
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). https://doi.org/10.1007/978-3-319-93767-0_6
Geiger, M., Wirtz, G.: BPMN 2.0 serialization-standard compliance issues and evaluation of modeling tools. In: Enterprise Modelling and Information Systems Architectures (2013)
Gutschier, C., Hoch, R., Kaindl, H., Popp, R.: A pitfall with BPMN execution. In: WEB, pp. 7–13 (2014)
Hallal, R., Jaber, M., Abdallah, R.: From global choreography to efficient distributed implementation. In: HPCS, pp. 756–763. IEEE (2018)
Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1–9:67 (2016)
Lange, J., Tuosto, E., Yoshida, N.: From communicating machines to graphical choreographies. In: POPL, pp. 221–232. ACM (2015)
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). https://doi.org/10.1007/978-3-319-19282-6_5
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). https://doi.org/10.1007/978-3-642-36926-1_35
OMG: Business Process Model and Notation (BPMN V 2.0) (2011)
Onggo, B.S.: Agent-based simulation model representation using BPMN. In: Formal Languages for Computer Simulation, pp. 378–400. IGI Global (2014)
Tuosto, E., Guanciale, R.: Semantics of global view of choreographies. JLAMP 95, 17–40 (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Corradini, F., Morichetta, A., Re, B., Tiezzi, F. (2019). Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. In: Alvim, M., Chatzikokolakis, K., Olarte, C., Valencia, F. (eds) The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. Lecture Notes in Computer Science(), vol 11760. Springer, Cham. https://doi.org/10.1007/978-3-030-31175-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-31175-9_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31174-2
Online ISBN: 978-3-030-31175-9
eBook Packages: Computer ScienceComputer Science (R0)