Contract Based Multi-party Service Composition
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.
KeywordsOutput Action Operational Semantic Label Transition System Service Orient Computing Process Calculus
Unable to display preview. Download preview PDF.
- 5.Rensink, A., Vogler, W.: Fair testing. Technical Report TR-CTIT-05-64, Department of Computer Science, University of Twente (2005)Google Scholar
- 6.Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-free conformance. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 242–254. Springer, Heidelberg (2004)Google Scholar
- 8.Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: Proc. of ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)Google Scholar