尚庆民 宋 巍

（南京理工大学计算机科学与工程学院 南京 210094）

1 引言

作为过程挖掘领域一项不可忽视的技术，合规性检验旨在分析发现的过程模型所捕获行为和事件日志所描述行为的差异性［1～2］。合规性检验的输入为事件日志及其对应的过程模型，其中事件日志是事件序列的集合，并且是过程发现技术的输入［3］。现实中大部分事件在执行过程会持续一段时间，即区间事件，因此该事件的开始和结束信息都会被系统记录在事件日志中［4～5］，然而，瞬时完成事件的开始和结束会被合并记录成一个点事件。因此，现实中的事件日志大部分是包含点事件和区间事件的混合型事件日志。

现有过程挖掘合规性检验方法不能直接应用到混合型事件日志。Cook 等最早提出通过比较事件日志和过程模型分别生成的事件流进行合规性检验的方法，为后来的合规性检验技术发展奠定了基础［6］。随后的十几年里，很多学者提出不同方法从不同方面进行合规性检验［7～8］。现有研究主要从拟合度、精确度和简洁度几个方面分析过程模型与事件日志的合规性。然而现有方法都是针对只包含点事件的事件日志进行分析［9～12］，当这些方法应用到混合型事件日志时，由于区间事件的开始事件和结束事件在事件日志重放过程中重复出现，导致合规性检验结果不够准确。

针对现有技术的不足，本文提出一种针对混合型事件日志及其对应的过程模型进行合规性检验的方法，从拟合度、精确度和简洁度三个方面衡量模型与事件日志的合规性。……