公开(公告)号：CN103218692B

公开(公告)日：2017-03-15

申请号：CN201310154278.X

申请日：2013-04-27

Applicant: 南京理工大学

Inventor： 宋巍 ,  张文嘉 ,  张功萱

IPC: G06Q10/06

Abstract: 本发明公开了一种基于依赖关系分析的工作流挖掘方法。从事件日志L中去除冗余的路径，获得目标路径集L'；对目标路径集L'中的每条路径的活动进行依赖关系R分析，得到动态依赖图DDG；分析动态依赖图DDG，根据活动间的依赖关系得到基于有向图的工作流模型CFG作为输出。本发明的方法能有效地识别工作流中的并发关系，从而挖掘出整体工作流模型。

公开(公告)号：CN103218692A

公开(公告)日：2013-07-24

申请号：CN201310154278.X

申请日：2013-04-27

Applicant: 南京理工大学

Inventor： 宋巍 ,  张文嘉 ,  张功萱

IPC: G06Q10/06

Abstract: 本发明公开了一种基于依赖关系分析的工作流挖掘方法。从事件日志L中去除冗余的路径，获得目标路径集L'；对目标路径集L'中的每条路径的活动进行依赖关系R分析，得到动态依赖图DDG；分析动态依赖图DDG，根据活动间的依赖关系得到基于有向图的工作流模型CFG作为输出。本发明的方法能有效地识别工作流中的并发关系，从而挖掘出整体工作流模型。

公开(公告)号：CN103150626A

公开(公告)日：2013-06-12

申请号：CN201310064554.3

申请日：2013-03-01

Applicant: 南京理工大学

Inventor： 宋巍 ,  张学伟 ,  邢建春 ,  杨启亮 ,  张文嘉

IPC: G06Q10/06

Abstract: 本发明公开了一种基于程序依赖图的BPEL过程一致性度量方法。以两个BPEL过程为输入，以这两个BPEL过程的一致性程度为输出结果；该方法使用的BPEL过程必须严格符合WS-BPEL2.0规范，并且过程中不包含 活动；根据BPEL的特性将两个BPEL过程分别转化为控制流程图；根据每个BPEL过程的控制流程图，分析活动间的三种依赖关系，生成程序依赖图PDG；基于两个BPEL过程的程序依赖图，计算出这两个BPEL过程的一致性程度。本发明提出的方法，可以对两个BPEL过程的一致性给出一个从0到1的数值，而不是像传统方法那样仅仅提供一致和不一致的定性结论，从而有效区分不同程度的BPEL过程一致性。

公开(公告)号：CN103150626B

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

申请号：CN201310064554.3

申请日：2013-03-01

Applicant: 南京理工大学

Inventor： 宋巍 ,  张学伟 ,  邢建春 ,  杨启亮 ,  张文嘉

IPC: G06Q10/06

Abstract: 本发明公开了一种基于程序依赖图的BPEL过程一致性度量方法。以两个BPEL过程为输入，以这两个BPEL过程的一致性程度为输出结果；该方法使用的BPEL过程必须严格符合WS?BPEL2.0规范，并且过程中不包含 活动；根据BPEL的特性将两个BPEL过程分别转化为控制流程图；根据每个BPEL过程的控制流程图，分析活动间的三种依赖关系，生成程序依赖图PDG；基于两个BPEL过程的程序依赖图，计算出这两个BPEL过程的一致性程度。本发明提出的方法，可以对两个BPEL过程的一致性给出一个从0到1的数值，而不是像传统方法那样仅仅提供一致和不一致的定性结论，从而有效区分不同程度的BPEL过程一致性。