| CarpinetiCastagnaLanevePadovani06 (In proceedings)
|
| Author(s) | Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve and Luca Padovani |
| Title | « A Formal Account of Contracts for Web Services » |
| In | Proceedings of the International Workshop on Web Services and Formal Methods (WS-FM'06) |
| Series | LNCS |
| Volume | 4184 |
| Page(s) | 148-162 |
| Year | 2006 |
| Publisher | Springer |
| URL | http://www.di.unito.it/~padovani/Papers/lncs_4184.pdf |
| Abstract |
| We define a formal contract language along with subcontract and compliance relations. We then extrapolate contracts out of processes, that are a recursion-free fragment of CCS. We finally demonstrate that a client completes its interactions with a service provided the corresponding contracts comply. Our contract language may be used as a foundation of Web services technologies, such as WSDL and WSCL. |
@inproceedings{CarpinetiCastagnaLanevePadovani06,
volume = {4184},
author = {Samuele Carpineti and Giuseppe Castagna and Cosimo Laneve and Luca
Padovani},
series = {LNCS},
booktitle = {Proceedings of the International Workshop on Web Services and
Formal Methods (WS-FM'06)},
url = {http://www.di.unito.it/~padovani/Papers/lncs_4184.pdf},
abstract = { We define a formal contract language along with subcontract and
compliance relations. We then extrapolate contracts out of
processes, that are a recursion-free fragment of \textsc{ccs}. We
finally demonstrate that a client completes its interactions with
a service provided the corresponding contracts comply. Our
contract language may be used as a foundation of Web services
technologies, such as \textsc{wsdl} and \textsc{wscl}. },
title = {{A Formal Account of Contracts for Web Services}},
publisher = {Springer},
year = {2006},
pages = {148-162},
doi = {10.1007/11841197\_10},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
