Compositional choreographies

Authors:
Fabrizio Montesi;Nobuko Yoshida
Affiliations:
IT University of Copenhagen, Denmark;Imperial College London, UK
Venue:
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Year:
2013

Citing 11
Cited 0

Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
On asynchrony in name-passing calculi

Mathematical Structures in Computer Science
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Composing Services with JOLIE

ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Global Progress in Dynamically Interleaved Multiparty Sessions

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Bridging the Gap between Interaction- and Process-Oriented Choreographies

SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Dynamic multirole session types

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Scribbling interactions with a formal foundation

ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Choreography and orchestration conformance for system design

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Structured Communication-Centered Programming for Web Services

ACM Transactions on Programming Languages and Systems (TOPLAS)
Deadlock-freedom-by-design: multiparty asynchronous global programming

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typability and deadlock-freedom. The usability of our framework is demonstrated by modelling an industrial use case implemented in a tool for Web Services, Jolie.