Compositional Choreographies - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Compositional Choreographies

Résumé

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.

Domaines

Informatique

Dates et versions

hal-00909321 , version 1 (26-11-2013)

Identifiants

Citer

Fabrizio Montesi, Nobuko Yoshida. Compositional Choreographies. CONCUR - Concurrency Theory - 2013, 2013, Buenos Aires, Argentina. pp.425-439, ⟨10.1007/978-3-642-40184-8_30⟩. ⟨hal-00909321⟩

Collections

INRIA INRIA2
88 Consultations
0 Téléchargements

Altmetric

Partager

More