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. © 2013 Springer-Verlag.
CITATION STYLE
Montesi, F., & Yoshida, N. (2013). Compositional choreographies. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8052 LNCS, pp. 425–439). https://doi.org/10.1007/978-3-642-40184-8_30
Mendeley helps you to discover research relevant for your work.