The increasing adoption of modelling methods contributes to a better understanding of the flow of processes, from the internal behaviour of a single organisation to a wider perspective where several organisations exchange messages. In this regard, BPMN collaboration is a suitable modelling abstraction. Even if this is a widely accepted notation, only a limited effort has been expended in formalising its semantics, especially for what it concerns the interplay among control features, data handling and exchange of messages in scenarios requiring multiple instances of interacting participants. In this paper, we face the problem of providing a formal semantics for BPMN collaborations including multiple instances, while taking into account the data perspective. Beyond defining a novel formalisation, we also provide a BPMN collaboration animator tool faithfully implementing the formal semantics. Its visualisation facilities support designers in debugging multi-instance collaboration models.

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support / Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco. - STAMPA. - 11080:(2018), pp. 83-101. ((Intervento presentato al convegno International Conference on Business Process Management. BPM 2018 tenutosi a Sydney nel 9-14 September 2018 [10.1007/978-3-319-98648-7_6].

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support

Tiezzi, Francesco
2018

Abstract

The increasing adoption of modelling methods contributes to a better understanding of the flow of processes, from the internal behaviour of a single organisation to a wider perspective where several organisations exchange messages. In this regard, BPMN collaboration is a suitable modelling abstraction. Even if this is a widely accepted notation, only a limited effort has been expended in formalising its semantics, especially for what it concerns the interplay among control features, data handling and exchange of messages in scenarios requiring multiple instances of interacting participants. In this paper, we face the problem of providing a formal semantics for BPMN collaborations including multiple instances, while taking into account the data perspective. Beyond defining a novel formalisation, we also provide a BPMN collaboration animator tool faithfully implementing the formal semantics. Its visualisation facilities support designers in debugging multi-instance collaboration models.
Business Process Management. BPM 2018.
International Conference on Business Process Management. BPM 2018
Sydney
9-14 September 2018
Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
File in questo prodotto:
File Dimensione Formato  
Corradini2018_Chapter_AnimatingMultipleInstancesInBP.pdf

Accesso chiuso

Dimensione 1.26 MB
Formato Adobe PDF
1.26 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in FLORE 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: https://hdl.handle.net/2158/1243602
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 13
  • ???jsp.display-item.citation.isi??? ND
social impact