Research on deadlock detecting of BPEL inter-processes

The correctness of BPEL process is getting more and more attentions. As a concurrent supported language, improper or incorrect use of concurrent and synchronization may cause intra-processes or inter-processes deadlock, which is a kind of common concurrent defects seriously affect reliability and availability of system. Even more serious, for the critical-task system, such deadlock will cause a serious consequence. So, based on analysis of BPEL and deadlock characters, we propose a detecting method in the design phase, reducing system maintenance costs, improving process reliability. This paper presents a method from the overall analysis view to resolve the above problems, combing the execution context information among processes, so the communication deadlock can be detected. This method is also applicable to other defects that related to the inter-processes.