J4 ›› 2010, Vol. 37 ›› Issue (1): 33-40.doi: 10.3969/j.issn.1001-2400.2010.01.007

• 研究论文 • 上一篇    下一篇

BPEL流程静态优化技术研究

鲍亮;陈胜;宋胜利;陈平;胡圣明;褚华   

  1. (西安电子科技大学 软件工程研究所,陕西 西安  710071)
  • 收稿日期:2009-03-20 出版日期:2010-02-20 发布日期:2010-03-29
  • 通讯作者: 鲍亮
  • 作者简介:鲍亮(1981-),男,西安电子科技大学博士研究生,E-mail: baoliang@mail.xidian.edu.cn.
  • 基金资助:

    “十一五”国家部委预研项目资助项目(513060601)

Research on the static optimization algorithm for the BPEL process

BAO Liang;CHEN Sheng;SONG Sheng-li;CHEN Ping;HU Sheng-ming;CHU Hua   

  1. (Research Inst. of Software Engineering, Xidian Univ., Xi'an  710071, China)
  • Received:2009-03-20 Online:2010-02-20 Published:2010-03-29
  • Contact: BAO Liang

摘要:

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

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

Abstract:

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.

Key words: business process execution language(BPEL) process, static optimization algorithm, synchronization analysis, concurrency analysis