On context-specific substitutability of Web services

Jyotishman Pathak, Samik Basu, Vasant Honavar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

43 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2007 IEEE International Conference on Web Services, ICWS 2007
Pages192-199
Number of pages8
DOIs
StatePublished - Dec 1 2007
Event2007 IEEE International Conference on Web Services, ICWS 2007 - Salt Lake City, UT, United States
Duration: Jul 9 2007Jul 13 2007

Publication series

NameProceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Other

Other2007 IEEE International Conference on Web Services, ICWS 2007
CountryUnited States
CitySalt Lake City, UT
Period7/9/077/13/07

    Fingerprint

Keywords

  • Composition
  • Labeled transition systems
  • Model checking
  • Mu-calculus
  • Substitution
  • Web services

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems
  • Information Systems and Management
  • Electrical and Electronic Engineering

Cite this

Pathak, J., Basu, S., & Honavar, V. (2007). On context-specific substitutability of Web services. In Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007 (pp. 192-199). [4279599] (Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007). https://doi.org/10.1109/ICWS.2007.134