spacer
spacer search

Software Engineering for Service-Oriented Overlay Computers
Software Engineering for Service-Oriented Overlay Computers

Search
spacer
 
header
Main Menu
 
Home arrow Publications arrow All Publications

SENSORIA All Publications Print

Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

show main publications


Contract-Based Discovery and Composition of Web Services


@INPROCEEDINGS{BZ09,
  title = {{Contract-Based Discovery and Composition of Web Services}},
  author = {{Mario} {Bravetti} and {Gianluigi} {Zavattaro}},
  booktitle = {Proc. of SFM'09},
  editor = {Marco Bernardo and  Luca Padovani and Gianluigi Zavattaro},
  pages = {261-295},
  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. },
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5569},
  year = {2009},
  url = {http://rap.dsi.unifi.it/sensoriasite/SFM09.pdf},
  doi = {10.1007/978-3-642-01918-0_7},
  partner = {UNIBO},
  status = {public},
  task = {T5.2},
}

spacer

The Sensoria Project Website
2005 - 2010
spacer