Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

LanevePadovani13 (In proceedings)
Author(s) Cosimo Laneve and Luca Padovani
Title« An Algebraic Theory for Web Service Contracts »
InProceedings of the International Conference on Integrated Formal Methods (IFM'13)
SeriesLNCS
Volume7940
Page(s)301-315
Year2013
PublisherSpringer
URLhttp://www.di.unito.it/~padovani/Papers/LanevePadovani13.pdf
Abstract
We study a natural notion of compliance between clients and services in terms of their BPEL (abstract) descriptions. The induced preorder shows interesting connections with the must preorder and has normal form representatives that are parallel-free finite-state activities, called contracts. The preorder also admits the notion of least service contract that is compliant with a client contract, called principal dual contract. Our framework serves as a foundation of Web service technologies for connecting abstract and concrete service definitions and for service discovery.

BibTeX code

@inproceedings{LanevePadovani13,
  volume = {7940},
  author = {Cosimo Laneve and Luca Padovani},
  series = {LNCS},
  booktitle = {Proceedings of the International Conference on Integrated Formal
               Methods (IFM'13)},
  url = {http://www.di.unito.it/~padovani/Papers/LanevePadovani13.pdf},
  abstract = { We study a natural notion of compliance between clients and
              services in terms of their BPEL (abstract) descriptions. The
              induced preorder shows interesting connections with the must
              preorder and has normal form representatives that are
              parallel-free finite-state activities, called contracts. The
              preorder also admits the notion of least service contract that is
              compliant with a client contract, called principal dual contract.
              Our framework serves as a foundation of Web service technologies
              for connecting abstract and concrete service definitions and for
              service discovery. },
  title = {{An Algebraic Theory for Web Service Contracts}},
  publisher = {Springer},
  year = {2013},
  pages = {301-315},
  doi = {10.1007/978-3-642-38613-8\_21},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

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

Valid HTML 4.01!