Selecting and composing web services through iterative reformulation of functional specifications

Jyotishman Pathak, Samik Basu, Robyn Lutz, Vasant Honavar

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

9 Scopus citations

Abstract

We propose a specification-driven approach to Web service composition. The proposed framework allows users to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These services are represented by the system using transition systems augmented with guards over variables with infinite domains and are used to determine a strategy for their composition that would realize the goal service. In the event that the goal service cannot be realized using the available services, the system identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the system supports Web service composition through iterative refinement of the functional specifications. We present a prototype implementation in tabled-logic programming environment that illustrates the key features of the proposed approach.

Original languageEnglish (US)
Title of host publicationProcedings - 18th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2006
Pages445-454
Number of pages10
DOIs
StatePublished - Dec 1 2006
Event18th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2006 - Arlington, VA, United States
Duration: Oct 13 2006Oct 15 2006

Publication series

NameProceedings - International Conference on Tools with Artificial Intelligence, ICTAI
ISSN (Print)1082-3409

Other

Other18th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2006
CountryUnited States
CityArlington, VA
Period10/13/0610/15/06

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Selecting and composing web services through iterative reformulation of functional specifications'. Together they form a unique fingerprint.

  • Cite this

    Pathak, J., Basu, S., Lutz, R., & Honavar, V. (2006). Selecting and composing web services through iterative reformulation of functional specifications. In Procedings - 18th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2006 (pp. 445-454). [4031930] (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI). https://doi.org/10.1109/ICTAI.2006.102