Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition

The Web Service Composition (WSC) problem with respect to behavioral descriptions deals with the automatic synthesis of a coordinator web service, c, that controls a set of web services to reach a goal state. Despite its importance, however, solving the WSC problem for a general case (when c has only partial observations) remains to be doubly exponential in the number of variables in web service descriptions, rendering any attempts to compute an exact solution for modest size impractical. Toward this challenge, in this paper, we propose two novel (signature preserving and subsuming) approximation-based approaches using abstraction and refinement. We empirically validate that our proposals can solve realistic problems efficiently.

[1]  Eloisa Vargiu,et al.  A Parametric Hierarchical Planner for Experimenting Abstraction Techniques , 2003, IJCAI.

[2]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[3]  Piergiorgio Bertoli,et al.  Strong planning under partial observability , 2006, Artif. Intell..

[4]  David R. Thompson,et al.  Generating Exponentially Smaller POMDP Models Using Conditionally Irrelevant Variable Abstraction , 2007, ICAPS.

[5]  Wei Huang,et al.  Observation Reduction for Strong Plans , 2007, IJCAI.

[6]  Annapaola Marconi,et al.  Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.

[7]  Dongwon Lee,et al.  Computational Complexity of Web Service Composition Based on Behavioral Descriptions , 2008, 2008 20th IEEE International Conference on Tools with Artificial Intelligence.

[8]  Piergiorgio Bertoli,et al.  Automated composition of Web services via planning in asynchronous domains , 2005, Artif. Intell..

[9]  Jianwen Su,et al.  On automated composition for web services , 2007, WWW '07.

[10]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[11]  Edmund M. Clarke,et al.  Model checking and abstraction , 1994, TOPL.

[12]  Dongwon Lee,et al.  Type-Aware Web Service Composition Using Boolean Satisfiability Solver , 2008, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services.

[13]  Salil P. Vadhan,et al.  Computational Complexity , 2005, Encyclopedia of Cryptography and Security.