Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Mario Bravetti Connect in order to contact the contributor
Submitted on : Friday, November 20, 2015 - 12:30:25 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM


  • HAL Id : hal-01231465, version 1



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. ⟨hal-01231465⟩



Les métriques sont temporairement indisponibles