|
Choreographies and Behavioural Contracts |
|
|
Choreographies are specification languages that represent a desired interaction behaviour
for a service-based system where each service has a role. From a choreography we derive a set of behavioural contracts, one for each role, that are guaranteed to be compliant (e.g. deadlocks do not occur).
We consider several notions of refinement, which guarantee different forms of compliance and are related to different forms of interaction, e.g. synchronous or queue-based asynchronous communication.
 Compliance-preserving contract refinement
|
