Local and On-the-fly Choreography-based Web Service Composition

We present a goal-directed, local and on-the-fly algorithm for verifying the existence and synthesizing a choreographer forWeb service composition. We use i/o-automata to represent services, the desired functionality of the composition, and a choreographer to achieve the desired service by composing...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence pp. 521 - 527
Main Authors: Mitra, Saayan, Basu, Samik, Kumar, Ratnesh
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 02.11.2007
Series:ACM Conferences
Subjects:
Computing methodologies > Modeling and simulation > Model development and analysis
Computing methodologies > Modeling and simulation > Model development and analysis > Model verification and validation
Information systems > World Wide Web > Web applications
Information systems > World Wide Web > Web services
Theory of computation > Logic
Theory of computation > Semantics and reasoning
Theory of computation > Semantics and reasoning > Program reasoning
ISBN:0769530265, 9780769530260
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present a goal-directed, local and on-the-fly algorithm for verifying the existence and synthesizing a choreographer forWeb service composition. We use i/o-automata to represent services, the desired functionality of the composition, and a choreographer to achieve the desired service by composing the existing ones. Choreographer existence and synthesis are typically performed by identifying all possible compositions realizable from the existing services and verifying whether one such composition conforms to the desired required functionality. Such a technique is subject to state-space explosion. In light of this, we have developed a tabled-logic programming technique which generates and explores compositions in a goal-directed fashion to prove/disprove the existence of choreographer and to infer whether the desired functionality is realizable. We present a prototype implementation and show the practical applicability of our technique using a variety of composition problems with the corresponding computational savings in terms of number of states and transitions explored.
ISBN:0769530265
9780769530260
DOI:10.1109/WI.2007.72