Title :
On Context-Specific Substitutability of Web Services
Author :
Pathak, Jyotishman ; Basu, Samik ; Honavar, Vasant
Author_Institution :
Iowa State Univ., Ames
Abstract :
Web service substitution refers to the problem of identifying a service that can replace another service in the context of a composition with a specified functionality. Existing solutions to this problem rely on detecting the functional and behavioral equivalence of a particular service to be replaced and candidate services that could replace it. We introduce the notion of context-specific substitutability, where context refers to the overall functionality of the composition that is required to be maintained after replacement of its constituents. Using the context information, we investigate two variants of the substitution problem, namely environment-independent and environment- dependent, where environment refers to the constituents of a composition and show how the substitutability criteria can be relaxed within this model. We provide a logical formulation of the resulting criteria based on model checking techniques as well as prove the soundness and completeness of the proposed approach.
Keywords :
Web services; formal verification; Web service substitution; context information; context-specific substitutability; environment- dependent substitution; environment-independent substitution; model checking; Application software; Assembly; Computer science; Context modeling; Context-aware services; Distributed computing; Logic; Web services;
Conference_Titel :
Web Services, 2007. ICWS 2007. IEEE International Conference on
Conference_Location :
Salt Lake City, UT
Print_ISBN :
0-7695-2924-0
DOI :
10.1109/ICWS.2007.134