Subscribe Now Subscribe Today
Science Alert
FOLLOW US:     Facebook     Twitter
Curve Top
Journal of Software Engineering
  Year: 2014 | Volume: 8 | Issue: 4 | Page No.: 314-320
DOI: 10.3923/jse.2014.314.320
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail
A Logic Petri Net Method to Analyze the Well-structured Property of WS-BPEL
Hu Qiang

A Web service process is well-structured, means its branch flows are splited and converged correctly in the logical structure. Well-structure is an import property to guarantee a service process to work normally. To detect the well-structured property of Web service process described by WS-BPEL, a logical Petri net method is proposed. The service process based on WS-BPEL is modeled as a service net form logical petri nets and the well-structured property is mapped into the features of logic expressions in the logical transitions of the service net. The formal definition and decision method of well-structure is proposed and the examples are also provided to show how to detect whether a service net is well-structured or not. From the proposed method in this study, the well-structured property of WS-BPEL can be easily analyzed.
PDF Fulltext XML References Citation Report Citation
How to cite this article:

Hu Qiang , 2014. A Logic Petri Net Method to Analyze the Well-structured Property of WS-BPEL. Journal of Software Engineering, 8: 314-320.

DOI: 10.3923/jse.2014.314.320








Curve Bottom