On context-specific substitutability of Web services

Jyotishman Pathak, Samik Basu, Vasant Honavar

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

47 Scopus citations


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
Number of pages8
StatePublished - 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


Other2007 IEEE International Conference on Web Services, ICWS 2007
Country/TerritoryUnited States
CitySalt Lake City, UT

All Science Journal Classification (ASJC) codes

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


Dive into the research topics of 'On context-specific substitutability of Web services'. Together they form a unique fingerprint.

Cite this