CoCoMoT：基于SMT的多视角过程一致性检验（扩展版）
人工智能
2021-04-20 v2
摘要
一致性检验是比较过程模型中捕获的期望行为与日志中记录的实际行为这一过程挖掘关键任务。尽管该问题在纯控制流过程中已被广泛研究，多视角过程的一致性检验仍处于起步阶段。本文通过考虑结合数据与控制流维度的过程来解决这一挑战性问题。具体而言，我们采用数据Petri网（DPNs）作为底层参考形式体系，并展示如何有效运用成熟的自动化推理技术来计算一致性度量与数据感知对齐。为此，我们引入了CoCoMoT（Computing Conformance Modulo Theories，按理论计算一致性）框架，作出四方面贡献。首先，我们展示了纯控制流设定中基于SAT的编码如何使用SMT作为底层形式与算法框架提升至我们的数据感知情形。其次，我们引入了一种基于保性质聚类的新型预处理技术，以加速一致性检验输出的计算。第三，我们提供了一个使用最先进SMT求解器的概念验证实现，并报告了初步实验。最后，我们讨论了CoCoMoT如何直接适用于若干进一步任务，如多与反对齐、基于聚类的日志分析以及模型修复。
引用
@article{arxiv.2103.10507,
title = {CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)},
author = {Paolo Felli and Alessandro Gianola and Marco Montali and Andrey Rivkin and Sarah Winkler},
journal= {arXiv preprint arXiv:2103.10507},
year = {2021}
}