正确依赖次序关系的同名事件划分为同一 任务等价类子集，在处理中阶段采用短循环过程发现算法生成WF-net模型，在处理后阶段 对不同的同一任务子集重命名，以达到消除重复任务的目标。
[0037] 本发明可采用Java、C等程序设计语言实现为独立运行的软件或者其他软件插 件，附图1为实现为软件插件的系统模型。
[0038] 本发明首先读取标准的业务过程XES文件，本发明的方法运算时，采用次序依赖 关系定义和判定定理检测重复任务，输出采用WF-net表示的业务过程模型。
[0039] 本发明运算实现步骤包括如下，参见附图2 :
[0040] (1)从XES日志W中提取任务集合T_W ;
[0041] (2)从XES日志W中提取首任务集合T_I和末任务集合T_0 ;
[0042] (3)根据次序依赖关系定义从T_W、Τ_Ι和Τ_0提取任务间的次序依赖关系；
[0043] (4)初始化多次任务集合Τ_Μ和T_C ;
[0044] (5)初始化重复任务日志W_D和任务集合T_D ;
[0045] (6)根据次序依赖关系定义建立同结构任务集合ST_D ;
[0046] (7)根据同一任务子集判定定理检测和更名重复任务，运行方法Discovery ;
[0047] (8)采用第三方过程发现方法构建WF-net模型；
[0048] (9)对WFnet _旲型恢复重复任务名称。
[0049] (10)结束。
[0050] 本发明的重点为第（7)步的方法Discovery，见附图3,具体实施步骤如下：
[0051] (7. 1)读入重复任务日志W_D、任务集合1^)、多次任务集合T_M和同结构任务集合 ST_D ；
[0052] (7. 2) T_M中是否还有未检测任务t ;
[0053] (7· 2· 1)否，跳转至步骤（7· 3);
[0054] (7· 2· 2)是
[0055] (7. 2. 2. 1)则建立t的同名事件集合，并对每个同名事件构建前驱/后继表（P/S 表）；
[0056] (7. 2. 2. 2)把P/S表的每个元素初始化为集合，选取任意两个集合，采用同一任务 集合判定定理进行比较，如果两个集合为同一任务集合则合并，直到不能合并为止，结果保 存至同一任务集合X ;
[0057] (7. 2. 2. 3)如果X中的元素个数大于1个，说明存在重复任务，就对W_D中，t的同 名事件进行更名操作；
[0058] (7. 2. 2. 4)跳转至（7. 2)。
[0059] (7. 3)输出新的日志W_D和任务集合T_D。
[0060] 本发明进行了仿真实验，本发明采用Java语言实现为第三方过程发现软件ProM6 的方法插件。输入XES日志9个（现有技术的方法1-4均不能处理），本发明成功挖掘出合 理的WF-net模型。仿真实验例子特征如下：
[0061] 表 1
[0063] 本发明在实现过程中的提取同名事件依赖关系的方法
[0064] 现有方法在发现重复任务前，都采用建立同名事件的前驱和后继表（P/S)来表示 多个同名事件间的依赖关系。本发明建立同名事件P/S表时，如果该同名事件属于同结构 任务，则提取其非局部依赖关系，否则提取其局部依赖关系，这样解决了循环结构的同名事 件判定。而方法1和方法2直接使用局部依赖关系，造成重复任务判定规则繁多、无法证明 挖掘模型合理性；方法3和方法4引入了包围任务概念，但没有处理多个前驱和后继的包围 情况，挖掘能力不足。
[0065] 基于同一任务等价类子集划分的重复任务发现方法
[0066] 对于发现重复任务，本发明的方案为：基于等价类思想，判断两个同名任务是否可 与其他任务构成合理的SWF-net，若是则为同一任务，即同个变迀；否则为重复任务，即不 同变迀。本发明的方案基于任务次序依赖关系，判定规则基于WF-net理论，通过理论证明 了有效性，生成的模型必定是合理的SWF-net。方法1和2采用对比两个同名任务的前驱和 后继任务的方案，判定规则没有理论基础，生成的模型无法保证合理性；方法3和4基于包 围任务的思想，采用对比两个同名任务是否符合次序依赖关系的方案，判定规则不能处理 多个前驱和后继的包围情况，没有证明生成的模型是合理的。
[0067] 显然，本发明的上述实施例仅仅是为清楚地说明本发明所作的举例，而并非是对 本发明的实施方式的限定。对于所属领域的普通技术人员来说，在上述说明的基础上还可 以做出其它不同形式的变化或变动。这里无需也无法对所有的实施方式予以穷举。凡在本 发明的精神和原则之内所作的任何修改、等同替换和改进等，均应包含在本发明权利要求 的保护范围之内。
【主权项】
1. 一种基于等价类的重复任务过程发现方法，其特征在于，读取标准的业务过程XES 文件，采用次序依赖关系定义和判定定理检测重复任务，输出采用WF-net表示的业务过程 丰旲型； 采用次序依赖关系定义和判定定理检测重复任务的具体过程如下： (1) 从XES日志W中提取任务集合T_W ; (2) 从XES日志W中提取首任务集合T_I和末任务集合T_0 ; (3) 根据次序依赖关系定义从T_W、T_I和T_0提取任务间的次序依赖关系； (4) 初始化多次任务集合T_M和T_C ; (5) 初始化重复任务日志W_D和任务集合T_D ; (6) 根据次序依赖关系定义建立同结构任务集合ST_D ; (7) 根据同一任务子集判定定理检测和更名重复任务，运行方法Discovery ; (8) 采用第三方过程发现方法构建WF-net模型； (9) 对WF-net模型恢复重复任务名称； (10) 结束； 所述步骤（7)中方法Discovery的具体步骤如下： (7. 1)读入重复任务日志W_D、任务集合!^)、多次任务集合T_M和同结构任务集合ST_ D ； (7. 2)T_M中是否还有未检测任务t ; (7. 2. 1)没有未检测任务t，跳转至步骤（7. 3); (7. 2. 2)有未检测任务t，则建立未检测任务t的同名事件集合，并对每个同名事件构 建前驱/后继表，即P/S表；把P/S表的每个元素初始化为集合，选取任意两个集合，采用同 一任务集合判定定理进行比较，如果两个集合为同一任务集合则合并，直到不能合并为止， 结果保存至同一任务集合X ;如果X中的元素个数大于1个，说明存在重复任务，就对W_D 中，未检测任务t的同名事件进行更名操作；跳转至步骤（7. 2. 1); (7. 3)输出新的日志W_D和任务集合T_D。
【专利摘要】本发明公开一种基于等价类的重复任务过程发现方法，通过扩展事件次序关系定义，提出等价类划分同一任务子集的判定定理，在预处理阶段，通过把具有正确依赖次序关系的同名事件划分为同一任务等价类子集，在处理中阶段采用短循环过程发现算法生成WF-net模型，在处理后阶段对不同的同一任务子集重命名，以达到消除重复任务的目标。其首先读取标准的业务过程XES文件，采用次序依赖关系定义和判定定理检测重复任务，输出采用WF-net表示的业务过程模型。该方法具有解决较高的处理包含短循环结构、多前驱后继和重复任务过程发现问题的能力，且该方法能保证挖掘结果是正确合理的。
【IPC分类】G06F17/30
【公开号】CN105117430
【申请号】CN201510478613
【发明人】冯健文, 常会友
【申请人】中山大学
【公开日】2015年12月2日
【申请日】2015年8月6日