Title: Behavioural description based web service composition using abstraction and refinement

Authors: Hyunyoung Kil; Wonhong Nam; Dongwon Lee

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 ' College of Information Sciences and Technology, The Pennsylvania State University, University Park, PA 16802, USA

Abstract: The web service composition problem with respect to behavioural descriptions deals with the automatic synthesis of a coordinator web service that controls a set of web services to reach a goal state. Despite its importance, however, solving the problem for a general case (when the coordinator has only partial observations) remains doubly exponential in the number of variables in web service descriptions. Toward this challenge, we propose two novel (signature preserving and subsuming) approximation-based approaches using abstraction and refinement. Given a set of web service behavioural descriptions and a reachability goal, we automatically construct abstract web services which have less variables using over-approximation. If our method identifies a coordinator web service, the coordinator is guaranteed to control the given web services to reach the goal state no matter how they behave. Otherwise, our method refines the current abstraction by adding some variables that have strong dependency on the goal variables.

Keywords: WSC; web service composition; web services; computational complexity; partial observation; behavioural description; abstraction; refinement.

DOI: 10.1504/IJWGS.2013.052849

International Journal of Web and Grid Services, 2013 Vol.9 No.1, pp.54 - 81

Received: 19 Sep 2012
Accepted: 30 Sep 2012
Published online: 29 Sep 2014 *

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