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.
Contract Based Multi-party Service Composition / M.Bravetti; G.Zavattaro. - STAMPA. - 4767:(2007), pp. 207-222. (Intervento presentato al convegno International Symposium on Fundamentals of Software Engineering, FSEN 2007 tenutosi a Tehran, Iran nel April 17-19, 2007) [10.1007/978-3-540-75698-9_14].
Contract Based Multi-party Service Composition
BRAVETTI, MARIO;ZAVATTARO, GIANLUIGI
2007
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
