Projects per year
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 language | English |
---|---|
Title of host publication | CONCUR 2013 – Concurrency Theory |
Subtitle of host publication | 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings |
Publisher | Springer Berlin Heidelberg |
Pages | 425-439 |
Number of pages | 15 |
ISBN (Electronic) | 978-3-642-40184-8 |
ISBN (Print) | 978-3-642-40183-1 |
DOIs | |
Publication status | Published - 2013 |
Externally published | Yes |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin Heidelberg |
Volume | 8052 |
ISSN (Print) | 0302-9743 |
Fingerprint
Dive into the research topics of 'Compositional Choreographies'. Together they form a unique fingerprint.Projects
- 1 Finished
-
From Data Types to Session Types - A Basis for Concurrency and Distribution
20/05/13 → 19/11/20
Project: Research