Behavioural description based web service composition using abstraction and refinement

Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Research output: Contribution to journalArticle

5 Citations (Scopus)

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.

Original languageEnglish (US)
Pages (from-to)54-81
Number of pages28
JournalInternational Journal of Web and Grid Services
Volume9
Issue number1
DOIs
StatePublished - Apr 11 2013

Fingerprint

Web services
Chemical analysis

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Networks and Communications

Cite this

@article{c9db78d98af146cd97f72227162e112d,
title = "Behavioural description based web service composition using abstraction and refinement",
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.",
author = "Hyunyoung Kil and Wonhong Nam and Dongwon Lee",
year = "2013",
month = "4",
day = "11",
doi = "10.1504/IJWGS.2013.052849",
language = "English (US)",
volume = "9",
pages = "54--81",
journal = "International Journal of Web and Grid Services",
issn = "1741-1106",
publisher = "Inderscience Enterprises Ltd",
number = "1",

}

Behavioural description based web service composition using abstraction and refinement. / Kil, Hyunyoung; Nam, Wonhong; Lee, Dongwon.

In: International Journal of Web and Grid Services, Vol. 9, No. 1, 11.04.2013, p. 54-81.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Behavioural description based web service composition using abstraction and refinement

AU - Kil, Hyunyoung

AU - Nam, Wonhong

AU - Lee, Dongwon

PY - 2013/4/11

Y1 - 2013/4/11

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84875897829&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84875897829&partnerID=8YFLogxK

U2 - 10.1504/IJWGS.2013.052849

DO - 10.1504/IJWGS.2013.052849

M3 - Article

AN - SCOPUS:84875897829

VL - 9

SP - 54

EP - 81

JO - International Journal of Web and Grid Services

JF - International Journal of Web and Grid Services

SN - 1741-1106

IS - 1

ER -