关注差距：日志与模型复杂度关系的形式化研究——扩展版
形式语言与自动机理论
2025-12-01 v2
摘要
简单的流程模型是有效传达过程挖掘结果的关键。在此背景下，一个重要问题是：作为流程发现算法输入的事件日志的复杂度，能否作为所得流程模型复杂度的可靠指标。尽管文献中已提出多种针对事件日志和流程模型的复杂度度量方法，但输入与输出复杂度之间的关系在很大程度上仍未被探索。特别是，目前没有既定的准则或理论基础来解释事件日志的复杂度如何影响所发现模型的复杂度。本文研究了是否存在形式化保证，使得事件日志复杂度的增加会导致所发现模型复杂度的增加。我们在五种流程发现算法中研究了18种日志复杂度度量方法和17种流程模型复杂度度量方法。我们的发现表明，仅有花式模型的复杂度可以通过事件日志复杂度度量来确立。对于所有其他算法，我们研究了哪些日志复杂度度量会影响所发现模型的复杂度。结果表明，当前的日志复杂度度量不足以决定选择哪种发现算法来构建简单模型。我们建议流程发现算法的作者提供相关见解，说明哪些日志复杂度度量能够预测其结果的复杂度。
引用
@article{arxiv.2505.23233,
title = {Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version},
author = {Patrizia Schalk and Artem Polyvyanyy},
journal= {arXiv preprint arXiv:2505.23233},
year = {2025}
}