【摘要】 提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造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.更多还原