15、事件日志中异常行为的修复方法与评估

事件日志中异常行为的修复方法与评估

在处理业务流程活动的事件日志时，异常行为的存在可能会影响对流程模型的准确发现和理解。本文将介绍一种基于控制流上下文的事件日志异常修复方法，并通过实验评估其效果。

1. 基本术语和符号

在介绍异常修复方法之前，先明确一些基本的术语和符号：
- 多重集（Multiset） ：给定集合 $X$，多重集 $M$ 是一个函数 $M: X \to \mathbb{N} {\geq 0}$，允许 $X$ 中的某些元素多次出现。可以表示为 $M = [e_1^{k_1}, e_2^{k_2}, \cdots, e_n^{k_n}]$，其中 $M(e_i) = k_i$，$k_i \in \mathbb{N} {>0}$。若 $k_i = 1$，可省略上标；若 $M(e) = 0$，则在多重集表示中省略该元素。空多重集表示为 $M = []$，即 $\forall e \in X, M(e) = 0$。所有可能的多重集集合表示为 $M(X)$。
- 序列（Sequence） ：$X^ $ 表示集合 $X$ 上所有可能的序列集合。长度为 $n$ 的有限序列 $\sigma$ 是一个函数 $\sigma: {1, 2, \cdots, n} \to X$，也可表示为 $\sigma = \langle x_1, x_2, \cdots, x_n \rangle$，其中 $x_i = \sigma(i)$，$1 \leq i \leq n$。空序列表示为 $\epsilon$。序列 $\sigma$ 和 $\sigma’$ 的连接表示为 $\sigma \