In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services that can be used to implement a given service system. The idea is to first design a service system by describing the overall behaviour of each of its participant, and then instantiate such participants retrieving services exposing a behavioural contract which is conformant with the corresponding given behaviour.
M. Bravetti, G. Zavattaro (2007). Towards a Unifying Theory for Choreography Conformance and Contract Compliance. BERLIN : Springer [10.1007/978-3-540-77351-1_4].
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
BRAVETTI, MARIO;ZAVATTARO, GIANLUIGI
2007
Abstract
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services that can be used to implement a given service system. The idea is to first design a service system by describing the overall behaviour of each of its participant, and then instantiate such participants retrieving services exposing a behavioural contract which is conformant with the corresponding given behaviour.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.