TY - CONF ID - www2009141 UR - http://www2009.eprints.org/141/ A1 - Kil, Hyunyoung A1 - Nam, Wonhong A1 - Lee, Dongwon Y1 - 2009/04// N2 - 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 re?nement to dramatically reduce the number of variables needed to solve the problem. TI - Automatic Web Service Composition with Abstraction and Refinement SP - 1121 M2 - Madrid, Spain AV - public EP - 1121 T2 - 18th International World Wide Web Conference ER -