Authors: Hyunyoung Kil; Wonhong Nam
Addresses: The Research Institute of Computer Information and Communication, Korea University, Seoul 136-701, Korea ' Department of Internet & Multimedia Engineering, Konkuk University, Seoul 143-701, Korea
Abstract: The web service composition problem aims to find an optimal composition of web services to satisfy a given request by using their syntactic and/or semantic features when no single service satisfies it. In particular, the semantics of services helps a composition engine identify more correct, complete and optimal candidates as a solution. In this paper, we study the web service composition problem considering semantic aspects, i.e., exploiting the semantic relationship between parameters of web services. Given a set of web service descriptions, their semantic information and a requirement web service, we find the optimal composition that contains the shortest path of semantically well connected web services which satisfies the requirement. Our techniques are based on semantic matchmaking and three model checking techniques such as Boolean satisfiability solving, symbolic model checking, and abstraction and refinement technique. In the experiment, our proposal efficiently identifies optimal compositions of web services.
Keywords: model checking; SAT; symbolic model checking; abstraction; refinement; web service composition; semantic web services; semantics; Boolean satisfiability.
International Journal of Web and Grid Services, 2013 Vol.9 No.4, pp.339 - 350
Received: 25 Jun 2013
Accepted: 03 Jul 2013
Published online: 05 Nov 2013 *