A semantic specification framework for analyzing functional composability of autonomous web services

Baoping Lin, Qing Li, Naijie Gu

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

4 Citations (Scopus)

Abstract

Web services can be described as local autonomous routines communicating with each other through message exchange. Hence a good understanding of the messages defined in each web service is crucial to enabling automatic composition. This paper presents a semantic specification framework for analyzing the functional composability of autonomous web services. As the locally described web services contain both semantics and business protocols, we model the former using ontologies and the latter by finite-state machines. A layered approach is adopted to analyze the web service composability, which shows how to check whether two web services are composable or not. Based on the specification and analysis, a polynomial-time algorithm is devised for checking the composability of web services efficiently.

Original languageEnglish
Title of host publicationProceedings - 2007 IEEE International Conference on Web Services, ICWS 2007
Pages695-702
Number of pages8
DOIs
Publication statusPublished - 1 Dec 2007
Externally publishedYes
Event2007 IEEE International Conference on Web Services, ICWS 2007 - Salt Lake City, UT, United States
Duration: 9 Jul 200713 Jul 2007

Publication series

NameProceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Conference

Conference2007 IEEE International Conference on Web Services, ICWS 2007
CountryUnited States
CitySalt Lake City, UT
Period9/07/0713/07/07

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems
  • Information Systems and Management
  • Electrical and Electronic Engineering

Cite this