%0 Conference Paper
%A Kil, Hyunyoung
%A Nam, Wonhong
%A Lee, Dongwon
%B 18th International World Wide Web Conference
%C Madrid, Spain
%D 2009
%F www2009:141
%P 1121-1121
%T Automatic Web Service Composition with Abstraction and Refinement
%U http://www2009.eprints.org/141/
%X The behavioral description based Web Service Composition (WSC) problem aims at the automatic construction of a coordinator web service that controls a set of web services to reach a goal state. However, solving the WSC problem exactly with a realistic model is doubly-exponential in the number of variables in web service descriptions. In this paper, we propose a novel efficient approximation-based algorithm using automatic abstraction and refinement to dramatically reduce the number of variables needed to solve the problem.