We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics

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

5 Author(s)
Chunxiang Xu ; Key Lab. of High Confidence Software Technol., Peking Univ., Beijing, China ; Hanpin Wang ; Wanling Qu ; Meixia Zhu
more authors

Most of existing formal models for BPEL based Web services composition are without description of dead-path-elimination semantics. There are Petri net based models describing the dead-path-elimination semantics, while the models are too big to handle large scale processes. In this paper, a new model called DPE net is advanced to describe the WS-BPEL process under the dead-path-elimination semantics. We give the DPE net models describing the basic control flow, relatively complete links semantics and dead-path-elimination semantics, and introduce how to analyze properties of the WS-BPEL process based on DPE reachability graph. The features of DPE net make the DPE net model for the WS-BPEL process smaller than the model based on P/T net. Moreover, the DPE reachability graph allows several transitions to be fired in one step, which reduces the reachability graph's size dramatically.

Published in:

Secure Software Integration and Reliability Improvement, 2009. SSIRI 2009. Third IEEE International Conference on

Date of Conference:

8-10 July 2009