4、分布式流程发现与一致性检查及架构语言互操作性增强

分布式流程发现与一致性检查及架构语言互操作性增强

分布式流程发现与一致性检查

在流程挖掘中，分布式流程发现和一致性检查是重要的研究方向。

流程模型分解与一致性检查

流程模型可以分解为对应于最小通道的网络片段，事件日志可以通过将轨迹投影到这些最小通道中的活动上进行分解。以下是相关的定义：
- (Z = nodes(X \stackrel{F # T_v}{\longrightarrow} Y) \setminus (X \cup Y)) 是片段的内部节点。
- (P’ = P \cap Z)。
- (T’ = (T \cap Z) \cup X \cup Y)。
- (F’ = F \cap ((P’ \times T’) \cup (T’ \times P’)))。
- (T’_v = X \cup Y)。

有一个关于分布式一致性检查的定理：设 (L \in B(A^*)) 是一个事件日志，(WF = (PN, in, Ti, out, To)) 是一个工作流网，其中 (PN = (P, T, F, Tv))。事件日志 (L) 与系统网 (SN = (PN, [in], [out])) 完美匹配，当且仅当：
- 对于任何 (\langle a_1, a_2, \ldots, a_k \rangle \in L)，有 (a_1 \in Ti) 且 (a_k \in To)。
- 对于任何 ((X, Y) \in pasmin(skel(PN)))，(L \upharpoonright_{X \cup Y}) 与 (SN(X, Y) = (PN(X, Y), [ ], [ ])) 完美匹配。