A Theory for Strong Service Compliance
We investigate, in a process algebraic setting, a new notion of compliance that we call strong service compliance: composed services are strong compliant if their composition is both deadlock and livelock free (this is the traditional notion of compliance) and whenever a message can be sent to invoke a service, this service is ensured to be ready to serve the invocation. We define also a new notion of refinement, called strong subcontract pre-order, suitable for strong compliance: given a composition of strong compliant services each one executing according to some specific contracts, we can replace the services with other services executing corresponding strong subcontracts preserving strong compliance. Finally, we present a characterization of the strong subcontract pre-order resorting to the theory of (should) testing pre-order.
KeywordsOutput Action Service Composition Operational Semantic Output Transition Label Transition System
Unable to display preview. Download preview PDF.
- Bravetti, M., Zavattaro, G.: Contract based Multi-party Service Composition. In: FSEN’07. LNCS ((to appear, 2007)Google Scholar
- Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: ESOP’07. LNCS (to appear, 2007)Google Scholar
- 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
- Leymann, F.: Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group (2001)Google Scholar
- Rensink, A., Vogler, W.: Fair testing. CTIT Technical Report TR-CTIT-05-64, Dep. of Computer Science, University of Twente (2005)Google Scholar
- OASIS. Web Services Business Process Execution Language Version 2.0. [http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm]
- Thatte, S.: XLANG: Web services for business process design. Microsoft Corporation (2001)Google Scholar
- W3C. Web Services Choreography Description Language. http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/