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. - ELETTRONICO. - 11760:(2019), pp. 163-181. (Intervento presentato al convegno The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy tenutosi a Paris nel 4 November 2019) [10.1007/978-3-030-31175-9_10].

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

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.
2019
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Paris
4 November 2019
Corradini, Flavio; Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco
File in questo prodotto:
File Dimensione Formato  
CORRADINI ET AL. Lecture Notes in Computer Science, 2019 Volume 11760 Pages 163-181.pdf

Accesso chiuso

Dimensione 2.58 MB
Formato Adobe PDF
2.58 MB Adobe PDF   Richiedi una copia

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

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1243616
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact