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.

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

Corradini, Flavio;Morichetta, Andrea;Re, Barbara;Tiezzi, Francesco
2019

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.
978-3-030-31174-2
978-3-030-31175-9
File in questo prodotto:
File Dimensione Formato  
CORRADINI ET AL. Lecture Notes in Computer Science, 2019 Volume 11760 Pages 163-181.pdf

non disponibili

Tipologia: Versione Editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 2.58 MB
Formato Adobe PDF
2.58 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11581/430761
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact