Research on the static optimization algorithm for the BPEL process

A static optimization algorithm for BPEL(Business Process Execution Language) process is proposed.The approach starts from scanning and handling all of the synchronized structures based on the synchronized analytical method.After that,the data flow and control flow analysis that utilizes the program dependence graph is made.A merge-reorder algorithm is applied to decrease the quantity of sequence activities and increase the degree of concurrency in a given process.Some pratical expriements have proved the efficiency of our static optimization algorithm.