Amending Choreographies

Abstract : Choreographies are global descriptions of system behaviors, from which the local behavior of each endpoint entity can be obtained automatically through projection. To guarantee that its projection is correct, i.e. it has the same behaviors of the original choreography, a choreography usually has to respect some coherency conditions. This restricts the set of choreographies that can be projected. In this paper, we present a transformation for amending choreographies that do not respect common syntactic conditions for projection correctness. Specifically, our transformation automatically reduces the amount of concurrency, and it infers and adds hidden communications that make the resulting choreography respect the desired conditions, while preserving its behavior.
Type de document :
Communication dans un congrès
António Ravara and Josep Silva. WWV - 9th International Workshop on Automated Specification and Verification of Web Systems - 2013, 2013, Florence, Italy. Open Publishing Association, 123, pp.34-48, 2013, EPTCS. 〈10.4204/EPTCS.123.5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00909305
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:45:45
Dernière modification le : jeudi 11 janvier 2018 - 16:24:57

Identifiants

Collections

Citation

Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. Amending Choreographies. António Ravara and Josep Silva. WWV - 9th International Workshop on Automated Specification and Verification of Web Systems - 2013, 2013, Florence, Italy. Open Publishing Association, 123, pp.34-48, 2013, EPTCS. 〈10.4204/EPTCS.123.5〉. 〈hal-00909305〉

Partager

Métriques

Consultations de la notice

146