BPEL静态流程切片技术研究

摘要：

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

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

所属期刊栏目：31

分类号：TP393(计算技术、计算机技术)

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

在线出版日期：2009-03-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：241-封三