Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. .
Abstract
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
@inproceedings{ijcai2009p290,
title = {Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition},
author = {Kil, Hyunyoung and Nam, Wonhong and Lee, Dongwon},
booktitle = {Proceedings of the Twenty-First International Joint Conference on
Artificial Intelligence, {IJCAI-09}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Hiroaki Kitano},
year = {2009},
url = {https://ijcai.org/proceedings/2009/290},
}
TY - CPAPER TI - Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition AU - Kil, Hyunyoung AU - Nam, Wonhong AU - Lee, Dongwon T2 - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09 PB - International Joint Conferences on Artificial Intelligence PY - 2009 UR - https://ijcai.org/proceedings/2009/290 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
