Compositional Choreographies

Fabrizio Montesi, Nobuko Yoshida

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationCONCUR 2013 – Concurrency Theory
Subtitle of host publication24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings
PublisherSpringer Berlin Heidelberg
Pages425-439
Number of pages15
ISBN (Electronic)978-3-642-40184-8
ISBN (Print)978-3-642-40183-1
DOIs
Publication statusPublished - 2013
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume8052
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Compositional Choreographies'. Together they form a unique fingerprint.

Cite this