祁宏达，杜玉越，刘 伟

(山东科技大学 计算机科学与工程学院，山东 青岛 266590)

一种基于可达标识的过程模型修复方法

祁宏达，杜玉越，刘 伟

(山东科技大学 计算机科学与工程学院，山东 青岛 266590)

模型修复是一种基于模型增强的过程挖掘的应用技术，现有的模型修复方法大多是以拟合度为主要指标，对于其他维度，诸如精确度，考虑较少。基于此，本文试图综合考虑多个维度，来对过程模型进行修复。校准能够对事件日志进行重演，发现各类偏差，即日志动作和模型动作，却无法确定偏差在Petri网中出现的位置。因此，基于Petri网的可达标识，提出了扩展校准的概念，这样便能确定偏差的位置。进一步地，针对扩展校准中出现的日志动作提出了RMR(Reachable Marking Repaining)算法进行修复。最后，通过实验证明修复算法在拟合度和精确度上均有较好的表现。

校准；模型修复；扩展校准；修复算法

过程挖掘是从实际执行集合中提取出结构化过程描述的方法[1]。过程挖掘技术一共有三类应用:过程发现(process discovery)、一致性检测(conformance checking)和过程增强(process enhancement)。

评价过程模型 “好坏”的标准有拟合度(fitness)、精确度(precision)、简化度(simplicity)和泛化度(generalization)[2]，其中拟合度是评价过程模型最为重要的指标。模型的拟合度意味着日志中的迹(trace)在模型中重演的能力。高精确度代表着模型只会重演事件日志中的迹。

在一致性检测和过程增强技术方面，目前最大的挑战是在过程模型上进行重演，发现事件日志中观察到的行为的最优路径。文献[3]提出了基于事件日志的校准方法，为模型修复奠定了基础。……