Efficient abstraction and refinement for behavioral description based web service composition

Hyunyoung Kil, Wonhong Nam, Dongwon Lee

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

The Web Service Composition (WSC) problem with respect to behavioral descriptions deals with the automatic synthesis of a coordinator web service, c, that controls a set of web services to reach a goal state. Despite its importance, however, solving the WSC problem for a general case (when c has only partial observations) remains to be doubly exponential in the number of variables in web service descriptions, rendering any attempts to compute an exact solution for modest size impractical. Toward this challenge, in this paper, we propose two novel (signature preserving and subsuming) approximation-based approaches using abstraction and refinement. We empirically validate that our proposals can solve realistic problems efficiently.

Original languageEnglish (US)
Title of host publicationIJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence
Pages1740-1745
Number of pages6
StatePublished - Dec 1 2009
Event21st International Joint Conference on Artificial Intelligence, IJCAI-09 - Pasadena, CA, United States
Duration: Jul 11 2009Jul 17 2009

Publication series

NameIJCAI International Joint Conference on Artificial Intelligence
ISSN (Print)1045-0823

Other

Other21st International Joint Conference on Artificial Intelligence, IJCAI-09
CountryUnited States
CityPasadena, CA
Period7/11/097/17/09

Fingerprint

Web services
Chemical analysis

All Science Journal Classification (ASJC) codes

  • Artificial Intelligence

Cite this

Kil, H., Nam, W., & Lee, D. (2009). Efficient abstraction and refinement for behavioral description based web service composition. In IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence (pp. 1740-1745). (IJCAI International Joint Conference on Artificial Intelligence).
Kil, Hyunyoung ; Nam, Wonhong ; Lee, Dongwon. / Efficient abstraction and refinement for behavioral description based web service composition. IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. 2009. pp. 1740-1745 (IJCAI International Joint Conference on Artificial Intelligence).
@inproceedings{6d05f52fcc1e42968cbc26f54675c0a2,
title = "Efficient abstraction and refinement for behavioral description based web service composition",
abstract = "The Web Service Composition (WSC) problem with respect to behavioral descriptions deals with the automatic synthesis of a coordinator web service, c, that controls a set of web services to reach a goal state. Despite its importance, however, solving the WSC problem for a general case (when c has only partial observations) remains to be doubly exponential in the number of variables in web service descriptions, rendering any attempts to compute an exact solution for modest size impractical. Toward this challenge, in this paper, we propose two novel (signature preserving and subsuming) approximation-based approaches using abstraction and refinement. We empirically validate that our proposals can solve realistic problems efficiently.",
author = "Hyunyoung Kil and Wonhong Nam and Dongwon Lee",
year = "2009",
month = "12",
day = "1",
language = "English (US)",
isbn = "9781577354260",
series = "IJCAI International Joint Conference on Artificial Intelligence",
pages = "1740--1745",
booktitle = "IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence",

}

Kil, H, Nam, W & Lee, D 2009, Efficient abstraction and refinement for behavioral description based web service composition. in IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. IJCAI International Joint Conference on Artificial Intelligence, pp. 1740-1745, 21st International Joint Conference on Artificial Intelligence, IJCAI-09, Pasadena, CA, United States, 7/11/09.

Efficient abstraction and refinement for behavioral description based web service composition. / Kil, Hyunyoung; Nam, Wonhong; Lee, Dongwon.

IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. 2009. p. 1740-1745 (IJCAI International Joint Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Efficient abstraction and refinement for behavioral description based web service composition

AU - Kil, Hyunyoung

AU - Nam, Wonhong

AU - Lee, Dongwon

PY - 2009/12/1

Y1 - 2009/12/1

N2 - The Web Service Composition (WSC) problem with respect to behavioral descriptions deals with the automatic synthesis of a coordinator web service, c, that controls a set of web services to reach a goal state. Despite its importance, however, solving the WSC problem for a general case (when c has only partial observations) remains to be doubly exponential in the number of variables in web service descriptions, rendering any attempts to compute an exact solution for modest size impractical. Toward this challenge, in this paper, we propose two novel (signature preserving and subsuming) approximation-based approaches using abstraction and refinement. We empirically validate that our proposals can solve realistic problems efficiently.

AB - The Web Service Composition (WSC) problem with respect to behavioral descriptions deals with the automatic synthesis of a coordinator web service, c, that controls a set of web services to reach a goal state. Despite its importance, however, solving the WSC problem for a general case (when c has only partial observations) remains to be doubly exponential in the number of variables in web service descriptions, rendering any attempts to compute an exact solution for modest size impractical. Toward this challenge, in this paper, we propose two novel (signature preserving and subsuming) approximation-based approaches using abstraction and refinement. We empirically validate that our proposals can solve realistic problems efficiently.

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

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

M3 - Conference contribution

AN - SCOPUS:78751682392

SN - 9781577354260

T3 - IJCAI International Joint Conference on Artificial Intelligence

SP - 1740

EP - 1745

BT - IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence

ER -

Kil H, Nam W, Lee D. Efficient abstraction and refinement for behavioral description based web service composition. In IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence. 2009. p. 1740-1745. (IJCAI International Joint Conference on Artificial Intelligence).