Padovani08 (In proceedings)
|
Author(s) | Luca Padovani |
Title | « Contract-Directed Synthesis of Simple Orchestrators » |
In | Proceedings of the International Conference on Concurrency Theory (CONCUR'08) |
Series | LNCS |
Volume | 5201 |
Page(s) | 131-146 |
Year | 2008 |
Publisher | Springer |
URL | http://www.di.unito.it/~padovani/Papers/lncs_5201.pdf |
Abstract |
The availability of repositories of Web service descriptions enables interesting forms of dynamic Web service discovery, such as searching for Web services exposing a specified behavior -- or contract. This calls for a formal notion of contract equivalence satisfying two contrasting goals: being as coarse as possible so as to favor Web services reuse, and guaranteeing smooth client/service interaction. We study an equivalence relation under the assumption that interactions are controlled by orchestrators. We build a simple orchestration language on top of this theory and we show how to synthesize orchestrators out of Web services contracts. |
@inproceedings{Padovani08,
volume = {5201},
author = {Luca Padovani},
series = {LNCS},
booktitle = {Proceedings of the International Conference on Concurrency Theory
(CONCUR'08)},
url = {http://www.di.unito.it/~padovani/Papers/lncs_5201.pdf},
abstract = { The availability of repositories of Web service descriptions
enables interesting forms of dynamic Web service discovery, such
as searching for Web services exposing a specified behavior -- or
contract. This calls for a formal notion of contract equivalence
satisfying two contrasting goals: being as coarse as possible so
as to favor Web services reuse, and guaranteeing smooth
client/service interaction. We study an equivalence relation under
the assumption that interactions are controlled by orchestrators.
We build a simple orchestration language on top of this theory and
we show how to synthesize orchestrators out of Web services
contracts. },
title = {{Contract-Directed Synthesis of Simple Orchestrators}},
publisher = {Springer},
year = {2008},
pages = {131-146},
doi = {10.1007/978-3-540-85361-9\_13},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)