Towards Dynamic Updates in Service Composition

Mario Bravetti 1, 2
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 survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and service substitutability (contract refinement preorder) under different assumptions concerning service communication: synchronous communication with patient non-preemptable or impatient invocations, or asynchronous communication. Correspondingly, relations concerning behavioural contracts and choreographic descriptions are considered, where a contract for each communicating party is, e.g., derived by projection. Contract refinement relations are induced as the maximal preoders which preserve contract compliance and global traces. The obtained preorders are then characterized in terms of a new form of testing, called compliance testing (where not only tests must succeed but also the system under test), and compared with classical preorders. Moreover, recent work about adaptable choreographies and behavioural contracts is presented, where the theory above is extended to update mechanisms allowing choreographies/contracts to be modified at run-time by internal (self-adaptation) or external intervention.
Type de document :
Communication dans un congrès
FOCLASA 2015 - Proceedings of 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Sep 2015, Madrid, Spain. EPTCS - Electronic Proceedings in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/hal-01231465
Contributeur : Mario Bravetti <>
Soumis le : vendredi 20 novembre 2015 - 12:30:25
Dernière modification le : samedi 27 janvier 2018 - 01:31:38

Identifiants

  • HAL Id : hal-01231465, version 1

Collections

Citation

Mario Bravetti. Towards Dynamic Updates in Service Composition. FOCLASA 2015 - Proceedings of 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Sep 2015, Madrid, Spain. EPTCS - Electronic Proceedings in Theoretical Computer Science. 〈hal-01231465〉

Partager

Métriques

Consultations de la notice

79