TY - GEN
T1 - Type-aware web service composition using boolean satisfiability solver
AU - Nam, Wonhong
AU - Kil, Hyunyoung
AU - Lee, Dongwon
PY - 2008/12/1
Y1 - 2008/12/1
N2 - The goal of the Web Service Composition (WSC) problem is to find an optimal "composition" of web services to satisfy a given request using their syntactic and/or semantic features, when no single service satisfies it. In this paper, in particular, we study the WSC problem from semantic aspects, exploiting the supertype-subtype relationship among parameters, and propose a novel solution based on techniques for the boolean satisfiability problem (SAT). Given a set of web service descriptions and a requirement web service, we reduce the WSC problem into a reachability problem on a state-transition system, and then we find the shortest path for the reachability problem, which is amount to the optimal composition. A preliminary experiment using 7 examples reveals that our proposal can find optimal compositions of web services efficiently.
AB - The goal of the Web Service Composition (WSC) problem is to find an optimal "composition" of web services to satisfy a given request using their syntactic and/or semantic features, when no single service satisfies it. In this paper, in particular, we study the WSC problem from semantic aspects, exploiting the supertype-subtype relationship among parameters, and propose a novel solution based on techniques for the boolean satisfiability problem (SAT). Given a set of web service descriptions and a requirement web service, we reduce the WSC problem into a reachability problem on a state-transition system, and then we find the shortest path for the reachability problem, which is amount to the optimal composition. A preliminary experiment using 7 examples reveals that our proposal can find optimal compositions of web services efficiently.
UR - http://www.scopus.com/inward/record.url?scp=57649224815&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=57649224815&partnerID=8YFLogxK
U2 - 10.1109/CECandEEE.2008.108
DO - 10.1109/CECandEEE.2008.108
M3 - Conference contribution
AN - SCOPUS:57649224815
SN - 9780769533407
T3 - Proceedings - 10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008
SP - 331
EP - 334
BT - Proceedings - 10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008
T2 - 10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008
Y2 - 21 July 2008 through 24 July 2008
ER -