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

Abstract:
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.
 [Fulltext PDF]   [Fulltext HTML]   [XML: Abstract + References]   [References]   [View 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

URL: https://scialert.net/abstract/?doi=jse.2014.314.320

 
COMMENT ON THIS PAPER
.
 
 
 
 

 

 
 
 
 
 
 
 
 
 

 
 
 
 
 

Curve Bottom