By Topic

Describing and Verifying Web Service Composition Using TLA Reasoning

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
$31 $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)
Hongbing Wang ; Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China ; Qianzhao Zhou ; Yanqi Shi

Web service composition is the process of integrating multiple independent Web Services into a coherent system that performs complex functions. This paper proposes an effective method for performing Web service composition and verification. We use Temporal Logic of Actions (TLA) to model Web services, composition patterns and users' requests. Based on the models, composition can be created by conducting TLA reasoning. The correctness of composition result can also be verified by checking whether the resulted TLA formula implements a user's request. A case study was conducted to illustrate the correctness of our approach.

Published in:

Services Computing (SCC), 2010 IEEE International Conference on

Date of Conference:

5-10 July 2010