An Algebraic Theory for Web Service Contracts - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Formal Aspects of Computing Year : 2015

An Algebraic Theory for Web Service Contracts


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 dual contract, and exhibits good precongruence properties when choreographies of Web services are considered. Our framework serves as a foundation of Web service technologies for connecting abstract and concrete service definitions and for service discovery.
Fichier principal
Vignette du fichier
ifm2013full.pdf (465.02 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01229401 , version 1 (16-11-2015)



Cosimo Laneve, Luca Padovani. An Algebraic Theory for Web Service Contracts. Formal Aspects of Computing, 2015, 27 (4), pp.27. ⟨10.1007/s00165-015-0334-2⟩. ⟨hal-01229401⟩
90 View
156 Download



Gmail Facebook X LinkedIn More