MoSCoE: An approach for composing web services through iterative reformulation of functional specifications

Jyotishman Pathak, Samik Basu, Robyn Lutz, Vasant Honavar

Research output: Contribution to journalArticle

16 Citations (Scopus)

Abstract

We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) 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 using labeled 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 functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach.

Original languageEnglish (US)
Pages (from-to)109-138
Number of pages30
JournalInternational Journal on Artificial Intelligence Tools
Volume17
Issue number1
DOIs
StatePublished - Feb 1 2008

Fingerprint

Web services
Specifications
Chemical analysis
Logic programming

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence

Cite this

@article{11b37751dad54af5872c3eabc6503d73,
title = "MoSCoE: An approach for composing web services through iterative reformulation of functional specifications",
abstract = "We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) 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 using labeled 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 functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach.",
author = "Jyotishman Pathak and Samik Basu and Robyn Lutz and Vasant Honavar",
year = "2008",
month = "2",
day = "1",
doi = "10.1142/S0218213008003807",
language = "English (US)",
volume = "17",
pages = "109--138",
journal = "International Journal on Artificial Intelligence Tools",
issn = "0218-2130",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "1",

}

MoSCoE : An approach for composing web services through iterative reformulation of functional specifications. / Pathak, Jyotishman; Basu, Samik; Lutz, Robyn; Honavar, Vasant.

In: International Journal on Artificial Intelligence Tools, Vol. 17, No. 1, 01.02.2008, p. 109-138.

Research output: Contribution to journalArticle

TY - JOUR

T1 - MoSCoE

T2 - An approach for composing web services through iterative reformulation of functional specifications

AU - Pathak, Jyotishman

AU - Basu, Samik

AU - Lutz, Robyn

AU - Honavar, Vasant

PY - 2008/2/1

Y1 - 2008/2/1

N2 - We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) 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 using labeled 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 functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach.

AB - We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) 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 using labeled 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 functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach.

UR - http://www.scopus.com/inward/record.url?scp=43949111664&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=43949111664&partnerID=8YFLogxK

U2 - 10.1142/S0218213008003807

DO - 10.1142/S0218213008003807

M3 - Article

AN - SCOPUS:43949111664

VL - 17

SP - 109

EP - 138

JO - International Journal on Artificial Intelligence Tools

JF - International Journal on Artificial Intelligence Tools

SN - 0218-2130

IS - 1

ER -