Static data flow analysis and anomalies detection for BPEL

BPEL is a de-facto standard language for web service orchestration. Algorithms are presented for the data flow analysis in BPEL programs which use flow and links constructs to implement concurrency and synchronization. Recently a lot of algorithms have bean proposed to concurrent program for detecting the variables usage errors, but they are not applicable to BPEL program which has unique feature at syntax and semantic. So new algorithms are proposed to the data flow analysis and anomaly detection for BPEL. We mainly focus on the global program variable usage information, and the data dependency related information are also calculated which can be used to the analysis about the variable usage anomaly. By adapting this algorithm, a class of variable usage errors can be detected in BPEL program.