BPEL静态流程切片技术研究  

Research on static process slicing in BPEL

作　　者：鲍亮[1] 宋胜利[1] 陈胜[1] 陈平[1] 胡圣明[1] 崔伟勇[1] 

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

出　　处：《系统工程与电子技术》2009年第1期241-244,F0003,共5页Systems Engineering and Electronics

基　　金："十一五"国防预研项目资助课题(513060601)

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

关 键 词：BPEL 流程切片 流程片段 静态切片算法 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]