LanevePadovani13 (In proceedings)
|
Author(s) | Cosimo Laneve and Luca Padovani |
Title | « An Algebraic Theory for Web Service Contracts » |
In | Proceedings of the International Conference on Integrated Formal Methods (IFM'13) |
Series | LNCS |
Volume | 7940 |
Page(s) | 301-315 |
Year | 2013 |
Publisher | Springer |
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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)