Abstract:

In order to detect the defects of widespread used business process execution language（BPEL） statically, the defects existed in BPEL programs are deeply studied. A defectoriented static testing method for BPEL is presented. The extended finite state machine is used to model the defect under detections. The states of defects can be identified by transition conditions of the properties state. And the redundancy of calculation by merging the conditions of identical property state at join points in the control flow graph is avoided. Experiments show the validity and feasibility of this method, it can be used to enhance the reliability and accuracy of process.

Key words: business process execution language, defect pattern, web service composition, defect detecting