20、增量一致性分析技术：提升流程模型分析效率

增量一致性分析技术：提升流程模型分析效率

1. 流程模型与一致性分析基础

流程模型是用于表示活动流程的图形化结构，通常有固定的起点和终点，从起点到终点的导航结果会形成一条轨迹，一个流程模型对应一组轨迹。流程挖掘中的一致性分析旨在找到事件日志中的轨迹与流程模型之间的匹配度。

这里涉及到两个重要概念：事件日志和流程模型在一组活动上的投影。
- 事件日志投影 ：通过从事件日志中移除不属于投影集的所有事件，实现事件日志在一组活动上的投影。例如，给定事件日志 (L = [⟨a, b, c, d, a, e⟩ {10}, ⟨a, b, c, d⟩ {5}, ⟨b, d, e⟩ {5}])，在活动集 ({a, c}) 上的投影 (L ↓ { {a,c}} = [⟨a, c, a⟩ {10}, ⟨a, c⟩ {5}, ⟨⟩ {5}])。
- 流程模型投影 ：将流程模型中不属于投影集的活动设为不可见（无行为）活动，然后使用保持语言的约简规则进一步移除这些不可见活动（如果可能），得到的投影和约简后的模型记为 (M ↓ {A})。

2. 增量一致性框架

为实现快速一致性分析，将问题分为两部分：
- 投影一致性 ：利用计算较小状态空间的小型流程模型和小型事件日志的一致性通常比计算大型复杂流程模型的一致性更快这一事实。对于用户定义的基数 (k)，计算所有可能的活动组合 (C)，其中每个组合 (c) 的元素数量为 (k)。设 (M ↓ <