公开(公告)号：CN103606042A

公开(公告)日：2014-02-26

申请号：CN201310581404.X

申请日：2013-11-18

Applicant: 南京理工大学

Inventor： 宋巍 ,  陈先博 ,  张功萱

IPC: G06Q10/06

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

公开(公告)号：CN103606042B

公开(公告)日：2016-08-17

申请号：CN201310581404.X

申请日：2013-11-18

Applicant: 南京理工大学

Inventor： 宋巍 ,  陈先博 ,  张功萱

IPC: G06Q10/06

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