A static analysis method of WSDL related defect pattern in BPEL

Business Process Execution Language (BPEL) is a language for Web service composition. BPEL process model is layered on top of the service model, providing and/or using one or more WSDL services. Incorrect definition of WSDL elements related to BPEL (B-WSDL Element) will influence the normal interaction between BPEL process and WSDL services, and further, cause exceptions in the process. So far, these exceptions would be thrown in the running phase of the system, and make prior work of design, creation and deployment meaningless. This paper firstly defines several defect patterns related to B-WSDL Element, and then proposes a corresponding static analysis method. This method could be used to find B-WSDL Element related defects in static analysis phase, reduce the possibility of exceptions and faults in running phase, and improve the robustness of the process.