Volume 4 Number 1 (Feb. 2009)
Home > Archive > 2009 > Volume 4 Number 1 (Feb. 2009) >
JSW 2009 Vol.4(1): 11-18 ISSN: 1796-217X
doi: 10.4304/jsw.4.1.11-18

A Method for Analyzing and Predicting Reliability of BPEL Process

Li Qiong Chen, Zhiqing Shao, Guisheng Fan, and Hanhua Ma
Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, China

Abstract—As an important means to compose independent services together to fulfill a function, service composition is widely applied in different applications. However, the process of composition is complex and error-prone, which makes a formal modeling and analysis method highly desirable. A BPEL process based on Petri net (BPEL-Net) model is presented in this paper, which is capable of capturing behavior of the participating services accurately. A set of rules are proposed to convert atomic activity and structural activity of BPEL process into BPEL-Net model, the transactional properties of services and failure processing between services are also characterized by BPEL-Net. Based on the states of constructed BPEL-Net, we advance the concept of transfer matrix to analyze reliability and related properties. What’s more, we put forward two simplification schemas for BPEL-Net. Finally, a specific example is given to simulate analytical process with tool Matlab, the results show that the method can be a good solution to analyze the reliability of BPEL processes.

Index Terms—Service composition, BPEL, transactional properties, transfer matrix, Petri net, Matlab


Cite: Li Qiong Chen, Zhiqing Shao, Guisheng Fan, and Hanhua Ma, "A Method for Analyzing and Predicting Reliability of BPEL Process," Journal of Software vol. 4, no. 1, pp. 11-18, 2009.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Mar 17, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 14 No 12 have been indexed by DBLP     [Click]

  • Mar 31, 2020 News!

    Vol 15, No 2 has been published with online version   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]