By Topic

A Formal Refinement Method for Transactional Web Service Composition Compensation Based on Paired Petri Net

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

4 Author(s)
Xiaoyong Mei ; Sch. of Inf. Sci. & Technol., Sun Yat-sen Univ., Guangzhou ; Fudan Zheng ; Aijun Jiang ; Shixian Li

Long running Web Services composition has weaker notion of atomicity, which makes the traditional ACID mechanism for transaction processing no longer fit for Web Services composition transaction. Therefore, this paper first formally defines Web services composition compensation based on paired Petri net. Then it proposes five composition compensation patterns on the basis of paired Petri net: sequence, parallel, selection, discriminator and iteration. Finally, it discusses the refinement of Web services composition compensation process and the abstract replacement process of complex multi-partner Web services composition compensation business refinement. This refinement method not only can effectively eliminate the effects of accomplished activities, but also realize the abstract hierarchical modeling of complex multi- partner business process.

Published in:

Intelligent Systems and Applications, 2009. ISA 2009. International Workshop on

Date of Conference:

23-24 May 2009