Studies On Process Deploy Techniques Of The Bpel Engine

While integrating system design tools in the Distributed Collaborative Development Environment (DCDE), a series of involved design tools are required to colaborate with each other. The Web Service Business Process Execution Language (WS-BPEL, BPEL for short),which is used to coordinate the existing tools and components, is responsible to orchestrate services and can serve for the role while constructing DCDE.After analyzing the architecture and implementation idiom of mainstream BPEL engines, a BPEL engine named RCBPEL which is implemented in C++ is proposed. Some key techniques which are related to the deploy stage for BPEL are studied in this paper. Analyses of the RCBPEL architecture is shown at the beginning of the paper, and then the design and implementation of the process verification, deploy and management components are presented separately. According to the characteristic of BPEL language, a data race and deadlock detection approach is proposed and realized on the basis of theory for verifying traditional multithreaded programs in the deploy stage. The application of RCBPEL demonstrates that it is capable of deploying BPEL process correctly and, at the same time, it can capture subtle data races and deadlocks.