@inbook{Padovani09A,
  volume = {5569},
  author = {Luca Padovani},
  series = {LNCS},
  booktitle = {International School on Formal Methods for the Design of
               Computer, Communication and Software Systems (SFM'09)},
  url = {http://www.di.unito.it/~padovani/Papers/ContractsTutorial.pdf},
  abstract = { A contract describes the observable behavior of a Web service.
              When looking for Web services providing specific capabilities, the
              contract can be used as an important search key. This calls for a
              notion of contract equivalence that goes beyond nominal or
              structural equivalence. In this paper we define a simple, yet
              expressive formal language for describing Web service contracts.
              We provide a natural, set-theoretic semantics of contracts and we
              use it for defining a family of equivalence relations that can be
              effectively used for discovering and adapting Web services
              implementing a specific contract. },
  title = {{Contract-based Discovery and Adaptation of Web Services}},
  publisher = {Springer},
  year = {2009},
  pages = {213-260},
  doi = {10.1007/978-3-642-01918-0\_6},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)