TY - GEN
T1 - Efficient abstraction and refinement for behavioral description based web service composition
AU - Kil, Hyunyoung
AU - Nam, Wonhong
AU - Lee, Dongwon
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=78751682392&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=78751682392&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:78751682392
SN - 9781577354260
T3 - IJCAI International Joint Conference on Artificial Intelligence
SP - 1740
EP - 1745
BT - IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence
PB - International Joint Conferences on Artificial Intelligence
T2 - 21st International Joint Conference on Artificial Intelligence, IJCAI 2009
Y2 - 11 July 2009 through 16 July 2009
ER -