A static analysis method of WSDL related defect pattern in BPEL

Author

Ye, Keke ; Huang, Junfei ; Gong, Yunzhan ; Yang, Xuehong

Author_Institution

Inst. of Networking Technol., Beijing Univ. of Posts & Telecommun., Beijing, China

Volume

7

fYear

2010

fDate

16-18 April 2010

Abstract

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.

Keywords

Web services; business data processing; WSDL elements; WSDL related defect pattern; Web service composition; business process execution language; static analysis method; Assembly; Automata; Electronic mail; Foot; Pattern analysis; Robustness; Runtime; Testing; Web services; XML; B-WSDL element; BPEL static analysis; Finite State Machine; WSDL related; defect pattern;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Engineering and Technology (ICCET), 2010 2nd International Conference on

Conference_Location

Chengdu

Print_ISBN

978-1-4244-6347-3

Type

conf

DOI

10.1109/ICCET.2010.5485541

Filename

5485541