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 interact...

Full description

Saved in:
Bibliographic Details
Published in2010 2nd International Conference on Computer Engineering and Technology Vol. 7; pp. V7-472 - V7-475
Main Authors Keke Ye, Junfei Huang, Yunzhan Gong, Xuehong Yang
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.04.2010
Subjects
Assembly
Automata
B-WSDL element
BPEL static analysis
defect pattern
Electronic mail
Finite State Machine
Foot
Pattern analysis
Robustness
Runtime
Testing
Web services
WSDL related
XML
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9781424463473
1424463475
DOI:10.1109/ICCET.2010.5485541