The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit
later.
We apologize for any inconvenience caused
XCFG-Based Analysis and Verification for Data Flow Property of BPEL
Author(s): JI Shun-hui, LI Bi-xin, QIU Dong
Pages: 1365-
1370
Year: 2013
Issue:
7
Journal: Acta Electronica Sinica
Keyword: Web service composition; extended control flow graph(XCFG); data flow property; verification;
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 .
Citations
No citation found