| 主权项 |
一种基于等价类的重复任务过程发现方法，其特征在于，读取标准的业务过程XES文件，采用次序依赖关系定义和判定定理检测重复任务，输出采用WF‑net表示的业务过程模型；采用次序依赖关系定义和判定定理检测重复任务的具体过程如下：(1)从XES日志W中提取任务集合T_W；(2)从XES日志W中提取首任务集合T_I和末任务集合T_O；(3)根据次序依赖关系定义从T_W、T_I和T_O提取任务间的次序依赖关系；(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_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。 |
