86、一致性检查：原理、方法与应用

一致性检查：原理、方法与应用

1. 概述

一致性检查是将事件日志与同一流程的流程模型进行比较的过程。事件日志由一系列日志轨迹组成，每个日志轨迹对应一个流程实例（即一个案例）中观察到的事件序列。事件不仅与流程中的特定活动相关，还能记录时间戳、资源和成本等多种流程信息。在实际应用中，事件日志可从流程感知信息系统（PAIS）中提取，如工作流管理（WFM）系统、业务流程管理（BPM）系统或典型的关系型数据库（如 SAP 数据库）。同样，流程模型也常从组织的信息系统中获取，这些模型可以是组织用于管理流程的规范模型，也可以是通过手动创建或自动发现以深入了解流程的描述性模型。

根据模型的性质，日志与模型之间的差异可能有不同的解释。对于规范模型，偏差表示违反了施加的约束。例如，银行流程可能要求贷款的处理和审批由不同的员工完成，以避免不当行为的风险（四眼原则）。通过对已处理贷款申请的事件日志和流程模型进行一致性检查，可以评估合规性。而对于描述性模型，偏差则表明模型未能完全捕捉到日志中观察到的所有行为。例如，流程分析师可能会在选择质量足够高的模型进行进一步分析之前，对不同流程发现算法发现的模型进行一致性检查。

为了说明一致性检查，下面引入一个简单的流程示例。图 1 展示了一个博士奖学金申请流程的非正式建模符号。该流程包括以下八个活动：开始处理、评估项目、评估学术记录、评估导师简历、最终评估、接受、拒绝和通知结果。申请人需要提交学术记录、导师简历和项目描述来启动流程。收到所需文件后，委员会将开始评估提交的文件。如 AND 网关所示，委员会可以按任意顺序评估这三份文件。初步评估后，进行最终评估以整合先前的结果，最终导致申请的接受或拒绝，并通知申请人结果。一个对应于接受申请的日志轨迹示例可能是〈开始处理，