A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Another Approach to Service Instance Migration
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Workflow soundness revisited: checking correctness in the presence of data while staying conceptual
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Hi-index | 0.00 |
Formal methods, like Petri nets, provide a means to analyse BPEL processes, detecting weaknesses and errors in the process model already at design-time. However, in most approaches proposed so far, the analysis is restricted to the control flow only. Analysing quality properties of BPEL processes might therefore yield false-negative results. In this paper, we are presenting an enhanced BPEL to Petri net mapping, that incorporates relevant data aspects by doing a CSSA-based analysis and applying novel Petri net patterns. The resulting formal model allows for a more precise analysis of critical properties, such as controllability and behavioural compatibility.