Towards Dynamic Updates in Service Composition - Archive ouverte HAL Access content directly
Conference Papers Year :

Towards Dynamic Updates in Service Composition

(1, 2)


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.
Not file

Dates and versions

hal-01231465 , version 1 (20-11-2015)


  • 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⟩
44 View
0 Download


Gmail Facebook Twitter LinkedIn More