CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishIn the context of Service Oriented Computing, contracts are descriptions of the observable behaviour of services. Contracts have been already successfully exploited to solve the problem of client/service composition. In this paper we consider services where the choice to perform an output may not depend on the environment and we revisit the theory of contracts in order to tackle the problem of composition of multiple services (not only one client with one service). Moreover, we relate our theory of contracts with the theory of testing preorder (interpreted as a subcontract relation) and we show that a compliant group of contracts is still compliant if every contract is replaced by one of its subcontract.
| Titolo: | Contract Based Multi-party Service Composition | |
| Autore/i: | BRAVETTI, MARIO; ZAVATTARO, GIANLUIGI | |
| Autore/i Unibo: | ||
| Anno: | 2007 | |
| Serie: | ||
| Titolo del libro: | International Symposium on Fundamentals of Software Engineering. Proceedings | |
| Pagina iniziale: | 207 | |
| Pagina finale: | 222 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-540-75698-9_14 | |
| Abstract: | In the context of Service Oriented Computing, contracts are descriptions of the observable behaviour of services. Contracts have been already successfully exploited to solve the problem of client/service composition. In this paper we consider services where the choice to perform an output may not depend on the environment and we revisit the theory of contracts in order to tackle the problem of composition of multiple services (not only one client with one service). Moreover, we relate our theory of contracts with the theory of testing preorder (interpreted as a subcontract relation) and we show that a compliant group of contracts is still compliant if every contract is replaced by one of its subcontract. | |
| Data prodotto definitivo in UGOV: | 22-ott-2007 | |
| Data stato definitivo: | 21-mar-2018 | |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11585/49161
Copyright © 2021