From Communicating Machines to Graphical Choreographies
- Submitting institution
-
The University of Leicester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 1399
- Type
- E - Conference contribution
- DOI
-
10.1145/2676726.2676964
- Title of conference / published proceedings
- POPL '15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
- First page
- 221
- Volume
- 50
- Issue
- 1
- ISSN
- 0362-1340
- Open access status
- Out of scope for open access requirements
- Month of publication
- January
- Year of publication
- 2015
- URL
-
-
- Supplementary information
-
https://doi.org/10.1145/2775051.2676964
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 47
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- We give the first general solution for choreography extraction from components through generalized multiparty compatibility (GMC). Choreography extraction of systems is important: it enables decentralized composition of distributed applications that are low-coupled and scale better. Carbone et al. (DIst. Comp. 2018) state "choreography extraction is a known hard problem", and Cruz-Filipe et al. (FOSSACS’17) state our work is "the current reference for extracting choreography specifications", and improve our algorithm. Our tool (awarded the PoPL Artefact Badge) has been used in EU projects (IC1405, BehAPI) and for the analysis of Google's GoLang programs.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -