Compositional Choreographies

Fabrizio Montesi 1, 2 Nobuko Yoshida 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
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.
Type de document :
Communication dans un congrès
Pedro R. D'Argenio and Hernán Melgratti. CONCUR - Concurrency Theory - 2013, 2013, Buenos Aires, Argentina. Springer, 8052, pp.425-439, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40184-8_30〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00909321
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:46:42
Dernière modification le : samedi 27 janvier 2018 - 01:30:57

Identifiants

Collections

Citation

Fabrizio Montesi, Nobuko Yoshida. Compositional Choreographies. Pedro R. D'Argenio and Hernán Melgratti. CONCUR - Concurrency Theory - 2013, 2013, Buenos Aires, Argentina. Springer, 8052, pp.425-439, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-40184-8_30〉. 〈hal-00909321〉

Partager

Métriques

Consultations de la notice

104