Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
