Title:
 Discovery and Composition of Services based on Behavioural Contracts

 Auteur : Gianluigi Zavattaro (university of Bologne)

 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.