Type-aware web service composition using boolean satisfiability solver

Wonhong Nam, Hyunyoung Kil, Dongwon Lee

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

25 Scopus citations

Abstract

The goal of the Web Service Composition (WSC) problem is to find an optimal "composition" of web services to satisfy a given request using their syntactic and/or semantic features, when no single service satisfies it. In this paper, in particular, we study the WSC problem from semantic aspects, exploiting the supertype-subtype relationship among parameters, and propose a novel solution based on techniques for the boolean satisfiability problem (SAT). Given a set of web service descriptions and a requirement web service, we reduce the WSC problem into a reachability problem on a state-transition system, and then we find the shortest path for the reachability problem, which is amount to the optimal composition. A preliminary experiment using 7 examples reveals that our proposal can find optimal compositions of web services efficiently.

Original languageEnglish (US)
Title of host publicationProceedings - 10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008
Pages331-334
Number of pages4
DOIs
StatePublished - Dec 1 2008
Event10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008 - Crystal City, WA, United States
Duration: Jul 21 2008Jul 24 2008

Publication series

NameProceedings - 10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008

Other

Other10th IEEE Joint Conference on E-Commerce Technology and the 5th Enterprise Computing, E-Commerce and E-Services, CEC 2008 and EEE 2008
CountryUnited States
CityCrystal City, WA
Period7/21/087/24/08

All Science Journal Classification (ASJC) codes

  • Marketing
  • Computer Networks and Communications
  • Software

Fingerprint Dive into the research topics of 'Type-aware web service composition using boolean satisfiability solver'. Together they form a unique fingerprint.

Cite this