Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications

Authors:
Jyotishman Pathak;Samik Basu;Robyn Lutz;Vasant Honavar
Affiliations:
Iowa State University, USA;Iowa State University, USA;Iowa State University, USA/ Jet Propulsion Lab/California Institute of Technology, USA;Iowa State University, USA
Venue:
ICTAI '06 Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence
Year:
2006

Citing 0
Cited 4

TCP - Compose * --- A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences

ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Assembling Composite Web Services from Autonomous Components

Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
Modeling web services by iterative reformulation of functional and non-functional requirements

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Behavior based service composition

WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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 supportsWeb 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.