From Communicating Machines to Graphical Choreographies

Lange, Julien, Tuosto, E., Yoshida, N. (2015) From Communicating Machines to Graphical Choreographies. In: ACM SIGPLAN NOTICES. POPL 2015 Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 50 (1). pp. 221-232. ACM ISBN 978-1-4503-3300-9. (doi:10.1145/2676726.2676964) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:62255)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL: http://dx.doi.org/10.1145/2676726.2676964
Additional URLs: http://hdl.handle.net/10044/1/23365

Abstract

Graphical choreographies, or global graphs, are general multiparty session specifications featuring expressive constructs such as forking, merging, and joining for representing application-level protocols. Global graphs can be directly translated into modelling notations 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 characterisation 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.

Item Type:	Conference or workshop item (Proceeding)
DOI/Identification number:	10.1145/2676726.2676964
Uncontrolled keywords:	Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, multiparty session types, choreography, communicating finite-state machines, global graphs, theory of regions, AUTOMATA
Institutional Unit:	Schools > School of Computing
Former Institutional Unit:	Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Julien Lange
Date Deposited:	12 Jul 2017 15:23 UTC
Last Modified:	20 May 2025 10:20 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/62255 (The current URI for this page, for reference purposes)

University of Kent Author Information

Lange, Julien.

Creator's ORCID:	https://orcid.org/0000-0001-9697-1378
CReDIT Contributor Roles:

Depositors only (login required):

Altmetric

Total Views

Total unique views of this page since July 2020. For more details click on the image.