Contract-Based Discovery and Composition of Web Services

11 years 7 months ago
Contract-Based Discovery and Composition of Web Services
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.
Mario Bravetti, Gianluigi Zavattaro
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where SFM
Authors Mario Bravetti, Gianluigi Zavattaro
Comments (0)