[发明专利]基于动态依赖图的服务组合实例迁移有效性判定方法

权利要求书

1.一种基于动态依赖图的服务组合实例迁移有效性判定方法，其特征在于，以演化前后的服务组合、以及待迁移实例的已执行路径为输入，以待迁移实例的迁移有效性判定结果为输出，其实现包括以下步骤：

步骤1、分析待迁移实例的已执行路径中活动间的依赖关系，自动生成该已执行路径的动态依赖图，即待迁移实例的动态依赖图，并获得到达已执行路径结束处的所有可达变量定义的集合；

步骤2、约简动态依赖图：通过向后动态切片的方法，删除对实例迁移没有影响的活动及其相应的依赖边；

步骤3、对演化后的服务组合使用控制流分析方法得到控制流图；以及

步骤4、基于演化后的服务组合的控制流图和待迁移实例约简后的动态依赖图，判断约简后的动态依赖图下是否存在一个拓扑排序可以在演化后的服务组合下重现，即判断是否存在一个拓扑排序是演化后服务组合的一个活动序列，如果存在，则迁移的有效性得到满足，反之不满足。

2.根据权利要求1所述的基于动态依赖图的服务组合实例迁移有效性判定方法，其特征在于，所述步骤1的具体实现中，待迁移实例的已执行路径表示为σ={σ₁,σ₂,…}，σ₁，σ₂，…表示活动，活动σ_i的所有输入变量为inPut(σ_i)，所有输出变量为outPut(σ_i)；活动间的依赖关系表示为R=(σ_i,σ_j)，σ_i和σ_j表示前述执行路径中的活动，其包含控制依赖关系、异步调用依赖关系和数据依赖关系，并通过有向边的形式在动态依赖图DDG中展现；待迁移实例的动态依赖图表示为DDG=(N_DDG，E_DDG)，N_DDG代表动态依赖图的活动结点集，由事件日志中所有不重复的活动组成，E_DDG代表动态依赖图结点间的依赖边集，由控制依赖关系集、异步调用依赖集和数据依赖关系集组成；本步骤1的实现包括以下步骤：

1.1初始化集合ReachingDefs(P₁,σ)和集合Uses为集合Uses代表所使用的变量集合，集合ReachingDefs(P₁,σ)为动态可达定义集合，即执行路径σ结束处的所有定义变量集合，其中P₁为演化前的服务组合，遍历演化前待迁移实例的执行路径中的所有活动结点，添加到动态依赖图的活动结点集N_DDG中，分析可得所有活动结点间的控制依赖关系集S_CD和异步调用依赖关系集S_AD；

1.2遍历活动结点集N_DDG，如果活动i与活动j间存在控制依赖或异步调用依赖，也即：活动i与活动j间的二元关系属于控制依赖关系集S_CD和异步调用依赖关系集S_AD，则将相应的控制依赖边或异步调用依赖边添加到动态依赖图的依赖边集合E_DDG中；

1.3采用数据流分析方法，将所有真数据依赖边加入动态依赖图DDG中，具体地，遍历执行路径σ中活动j的所有输入变量var∈inPut(σ_j)，如果活动j使用了活动k定义的变量，即活动k的变量属于所述集合ReachingDefs(P₁,σ)，则将以活动j为起点、以活动k为终点的真数据依赖边添加到动态依赖图DDG中，同时将活动j的输入变量添加到所述集合Uses中；

1.4采用数据流分析方法，将所有反数据依赖边加入到动态依赖图DDG中，具体地，遍历执行路径σ中活动j的所有输出变量var∈outPut(σ_j)，如果活动j定义了活动k使用的变量，即活动k的变量属于所述集合Uses，则将以活动k为起点、以活动j为终点的反数据依赖边添加到动态依赖图DDG中，同时将活动j的输出变量添加到活动j所定义的所有变量的集合Def(σ[j])中；

1.5采用数据流分析方法，将所有输出数据依赖边加入到动态依赖图DDG中，具体地，遍历执行路径σ中活动j的所有输出变量var∈outPut(σ_j)，若该输出变量已经被活动i定义，即活动i的变量属于所述集合ReachingDefs(P₁,σ)，且活动j重新定义了该输出变量，则将以活动i为起点、以活动j为终点的输出数据依赖边添加到DDG中，同时将活动j的输出变量添加到所述集合Def(σ[j])中，活动i的定义变量添加到集合Kill(σ[j])，该集合Kill(σ[j])为待迁移实例沿执行路径σ执行时，所有到达活动j而被活动j重新定义后被覆盖掉的变量定义构成的集合；

1.6将所述集合Def(σ[j])中的所有元素添加到所述集合ReachingDefs(P₁,σ)中，将所述Kill(σ[j])中的所有元素从所述集合ReachingDefs(P₁,σ)中删除；

1.7重复上述步骤1.2到1.6，直到遍历完整个执行路径σ中的所有活动；以及

1.8根据执行路径中所有活动结点以及它们之间的依赖关系确立动态依赖图DDG的活动结点集N_DDG和依赖边集E_DDG。