Modeling and Analysis of BPEL4WS Based on Petri Nets
Tao Xiao-feng · Jisuanji gongcheng · 2004
The paper presents the modeling method of BPEL4WS (business process execution language for Web Services) based on Petri nets describes the basic structure of business flow using the Petri nets. After the analysis of the structured activities and error handling in business processe defined by BPEL4WS, it gives a modeling algorithm using the Petri nets refinement. Then by a sample, it explains the detailed modeling course usin the algorithm and validates the soundness property of the outcome model.