By Topic

A Semantic Specification Framework for Analyzing Functional Composability of Autonomous Web Services

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Baoping Lin ; University of Science & Technology of China, Hefei, China ; Qing Li ; Naijie Gu

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.

Published in:

IEEE International Conference on Web Services (ICWS 2007)

Date of Conference:

9-13 July 2007