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

摘要

本发明提供一种基于已执行路径动态依赖图的服务组合实例迁移有效性判定方法，以演化前后的服务组合、待迁移实例的已执行路径为输入，以迁移有效性判定结果为输出，其实现包括：分析待迁移实例的已执行路径中活动间的依赖关系，生成已执行路径的动态依赖图，并获得到达已执行路径结束处所有可达变量定义的集合；通过向后动态切片方法，约简动态依赖图；获取演化后的服务组合的控制流图；基于演化后服务组合的控制流图和约简后的动态依赖图，判断是否存在一个拓扑排序是演化后服务组合的一个活动序列，如果存在则迁移的有效性得到满足，反之不满足。利用本发明的方法可避免传统方法可能产生的错误否定，更好的支持服务组合的动态演化。

主权项

一种基于动态依赖图的服务组合实例迁移有效性判定方法，其特征在于，以演化前后的服务组合、以及待迁移实例的已执行路径为输入，以待迁移实例的迁移有效性判定结果为输出，其实现包括以下步骤：步骤1、分析待迁移实例的已执行路径中活动间的依赖关系，自动生成该已执行路径的动态依赖图，即待迁移实例的动态依赖图，并获得到达已执行路径结束处的所有可达变量定义的集合；步骤2、约简动态依赖图：通过向后动态切片的方法，删除对实例迁移没有影响的活动及其相应的依赖边；步骤3、对演化后的服务组合使用控制流分析方法得到控制流图；以及步骤4、基于演化后的服务组合的控制流图和待迁移实例约简后的动态依赖图，判断约简后的动态依赖图下是否存在一个拓扑排序可以在演化后的服务组合下重现，即判断是否存在一个拓扑排序是演化后服务组合的一个活动序列，如果存在，则迁移的有效性得到满足，反之不满足。