From communicating machines to graphical choreographies
File(s)
Author(s)
Lange, J
Tuosto, E
Yoshida, N
Type
Conference Paper
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.
Date Issued
2015-01-14
Date Acceptance
2015-01-01
Citation
ACM Sigplan Notices, 2015, 50 (1), pp.221-232
ISBN
978-1-4503-3300-9
ISSN
1523-2867
Publisher
Association for Computing Machinery
Start Page
221
End Page
232
Journal / Book Title
ACM Sigplan Notices
Volume
50
Issue
1
Copyright Statement
© ACM, 2015. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages https://dx.doi.org/10.1145/2676726.2676964
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering and Physical Sciences Research Council
Grant Number
EP/K011715/1
ERI 025567 (EP/K034413/1)
PO 20131167
EP/L00058X/1, PO 20131167
Source
42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science
multiparty session types
choreography
communicating finite-state machines
global graphs
theory of regions
Software Engineering
Publication Status
Published
Start Date
2015-01-15
Finish Date
2015-01-18
Coverage Spatial
Mumbai, India