BPEL流程静态优化技术研究  

Research on the static optimization algorithm for the BPEL process

作　　者：鲍亮[1] 陈胜[1] 宋胜利[1] 陈平[1] 胡圣明[1] 褚华[1] 

机构地区：[1]西安电子科技大学软件工程研究所,陕西西安710071

出　　处：《西安电子科技大学学报》2010年第1期33-40,共8页Journal of Xidian University

基　　金："十一五"国家部委预研项目资助项目(513060601)

摘　　要：提出了一种基于同步和并发分析的业务流程执行语言(BPEL)流程静态优化算法.该算法首先利用同步分析技术对流程中的同步结构进行处理:细化流程的同步粒度、删除冗余的同步依赖和增大流程的并发度;然后采用程序依赖图对流程进行数据流与控制流分析,利用节点合并-重组算法减少流程中顺序活动的数量,进一步增大流程的并发度.实验表明,该算法能够有效提高流程的执行效率,减少流程的执行时间.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.

关 键 词：业务流程执行语言 静态优化算法 同步分析 并发分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]