Choreographies and Contracts are important concepts in Service Oriented Computing. Choreographies are the description of the behaviour of a service system from a global point of view, while contracts are the description of the externally observable message-passing behaviour of a given service. Exploiting some of our previous results about choreography pro jection and contract refinement, we show how to solve the problem of implementing a choreography via the composition of already available services that are retrieved according to their contracts.
M. Bravetti, I. Lanese, G. Zavattaro (2009). Contract-Driven Implementation of Choreographies. BERLIN : Springer-Verlag [10.1007/978-3-642-00945-7_1].
Contract-Driven Implementation of Choreographies
BRAVETTI, MARIO;LANESE, IVAN;ZAVATTARO, GIANLUIGI
2009
Abstract
Choreographies and Contracts are important concepts in Service Oriented Computing. Choreographies are the description of the behaviour of a service system from a global point of view, while contracts are the description of the externally observable message-passing behaviour of a given service. Exploiting some of our previous results about choreography pro jection and contract refinement, we show how to solve the problem of implementing a choreography via the composition of already available services that are retrieved according to their contracts.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
