Graphical choreographies, or global graphs, are general multiparty session specifications featuring expressive constructs such as fork- ing, merging, and joining for representing application-level proto- cols. Global graphs can be directly translated into modelling nota- tions such as BPMN and UML. This paper presents an algorithm whereby a global graph can be constructed from asynchronous interactions represented by communicating finite-state machines (CFSMs). Our results include: a sound and complete characteri- sation of a subset of safe CFSMs from which global graphs can be constructed; an algorithm to translate CFSMs to global graphs; a time complexity analysis; and an implementation of our theory, as well as an experimental evaluation.

From Communicating Machines to Graphical Choreographies

Tuosto E;
2015

Abstract

Graphical choreographies, or global graphs, are general multiparty session specifications featuring expressive constructs such as fork- ing, merging, and joining for representing application-level proto- cols. Global graphs can be directly translated into modelling nota- tions such as BPMN and UML. This paper presents an algorithm whereby a global graph can be constructed from asynchronous interactions represented by communicating finite-state machines (CFSMs). Our results include: a sound and complete characteri- sation of a subset of safe CFSMs from which global graphs can be constructed; an algorithm to translate CFSMs to global graphs; a time complexity analysis; and an implementation of our theory, as well as an experimental evaluation.
978-145033300-9
multiparty session types, choreography, communicat- ing finite-state machines, global graphs, theory of regions
File in questo prodotto:
File Dimensione Formato  
PrePrint_2015_42ACMSIGPLAN_SIGACT_POPL_Lange.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Creative commons
Dimensione 335.3 kB
Formato Adobe PDF
335.3 kB Adobe PDF Visualizza/Apri
2015_42ACMSIGPLAN_SIGACT_POPL_Lange.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Non pubblico
Dimensione 1.49 MB
Formato Adobe PDF
1.49 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/20.500.12571/1228
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 94
  • ???jsp.display-item.citation.isi??? 59
social impact