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.
Contract-Driven Implementation of Choreographies / M. Bravetti; I. Lanese; G. Zavattaro. - STAMPA. - 5474:(2009), pp. 1-18. (Intervento presentato al convegno Symposium on Trustworthy Global Computing 2008 tenutosi a Barcellona nel November 3-4, 2008) [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.
