Title: Semantic web service composition via model checking techniques

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.

DOI: 10.1504/IJWGS.2013.057466

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: 30 Sep 2014 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article