The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Laws/Policies/Regulations
Companies/Products
XCFG-Based Analysis and Verification for Data Flow Property of BPEL
Author(s): 
Pages: 1365-1370
Year: Issue:  7
Journal: Acta Electronica Sinica

Keyword:  Web service compositionextended control flow graph(XCFG)data flow propertyverification;
Abstract: BPEL achieves reusability and value-adding of Web service through composing individual services .Meanwhile ,it brings some challenges because of its complexity .For example ,guaranteeing the data flow correct is very important for the correct-ness of BPEL process .However ,few literatures focus on the data flow related analysis and verification .In this paper ,we proposed an XCFG based technique ,which models BPEL with XCFG and designs corresponding algorithms to analyze and verify the typical data flow property of BPEL ,such as the consistency of define-use ,deadlock-free and reachability .Both theoretical and experimental study validates the effectiveness of the XCFG based technique .
Related Articles
loading...