Journal of Systems Engineering and Electronics ›› 2009, Vol. 31 ›› Issue (1): 241-245.

• 电子技术 • 上一篇    

BPEL静态流程切片技术研究

鲍亮, 宋胜利, 陈胜, 陈平, 胡圣明, 崔伟勇   

  1. 西安电子科技大学软件工程研究所, 陕西, 西安, 710071
  • 收稿日期:2007-07-17 修回日期:2008-04-29 出版日期:2009-01-20 发布日期:2010-01-03
  • 作者简介:鲍亮(1981- ),男,博士研究生,主要研究领域为SOA,面向对象技术和软件体系结构.E-mail:baoliang@mail.xidian.edu.cn
  • 基金资助:
    “十一五”国防预研项目资助课题(513060601)

Research on static process slicing in BPEL

BAO Liang, SONG Sheng-li, CHEN Sheng, CHEN Ping, HU Sheng-ming, CUI Wei-yong   

  1. Software Engineering Inst., Xidian Univ., Xi’an 710071, China
  • Received:2007-07-17 Revised:2008-04-29 Online:2009-01-20 Published:2010-01-03

摘要: 提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造BPEL控制流图,在此基础上生成活动依赖图,并对活动依赖图进行分析,从而确定流程中影响切片准则的活动序列(流程片段)。其结果已经在流程分析、优化和并行化等方面起到了重要作用,效果较好。

Abstract: The concept of process slicing in business process execution language(BPEL) and related static slicing algorithm are proposed.Given an activity and variables referenced by this activity(called slicing criterion),one can analyze and obtain the process segment which influences the slicing criterion during process slicing.Based on the slicing criterion,a BPEL control flow graph(BCFG) and related activity dependency graph(ADG) are constructed respectively,and then the sequence of activity(process segment) is identified through the analysis of the ADG.The result of such analysis has been proved valuable in process analysis,optimization and parallelization.

中图分类号: