Study On Techniques Of Interpretation And Verification For BPEL Process

The sensible and feasible approach to establish the Distributed Collaborative Development Environment(DCDE) effectively, which is crucial to satisfy the pending needs in the national military and economic realm, is integrating the tools and components available rather than building it from scratch. The Business Process Execution Language (BPEL), which is used to coordinate the existing tools, components and services, can serve for the role while constructing DCDE.This paper focuses on the implementation of a BPEL engine that interprets the BPEL process efficiently. Also, a data race and deadlock detection algorithm is presented. This algorithm plays a significant role in enhancing the reliability of BPEL processes.After analyzing the architect style and implementation idiom of mainstream BPEL engines, a BPEL engine named RCbpel, which is layered, extensible and implemented in C++, is presented in this paper. Moreover, a data race and deadlock detection algorithm is proposed and realized on the basis of techniques for verifying traditional multithreaded programs. The applications of RCbpel demonstrate that it is capable of interpreting BPEL processes correctly and, at the same time, it can capture subtle data races and deadlocks.