DRD4BPEL: A Tool for Data Race Detection of BPEL Process

The Web service business process execution language (WS-BPEL, BPEL for short) is now the de facto standard for specifying and executing business process for Web service composition and orchestration. As more and more web services are composed using BPEL, the reliability of BPEL process becomes increasingly important. This paper presents a novel approach for data race detection and introduces DRD4BPEL, an efficient detection tool for data race conditions of BPEL process. The approach starts from a static analysis and produces a set of data race candidates (DRCs). Then a dynamic invocation interception is applied to verify the DRCs and produce a data race result. Experimental results show the efficiency of our approach and related algorithms used in DRD4BPEL.