A Petri Net-based approach for data race detection in BPEL

As more and more workflows modeled using business process execution language (BPEL), there is a strong demand on the reliability of BPEL program. However, the current BPEL specification does not include the reliability as a feature. As a semiformal flow-based language, data race is a serious problem in BPEL. In order to validate the data race problem, we first transform a BPEL program into Concurrency Service Workflow net (CSW_net). Based on this formalism, we propose a happens-before based approach to analyze the data race problem. Our approach considered the time character of BPEL to enhance recall rate of data race detection. Our approach is validated through a use case and further research directions are pointed out at last.