Jun, 2024

一种可扩展和接近最优的适用于长跟踪的符合性检查方法

TL;DR本研究提出了一种新颖的滑动窗口方法,以解决大规模过程挖掘应用中的符合性检查问题,并在保持基于对齐方法的可解释性的同时,显著降低搜索空间。该方法利用捕获跟踪信息和过程模型的结构特性的全局信息,做出明智的对齐决策,从而提高了结果的整体准确性。实验评估结果显示该方法在大多数情况下能够稳定地找到最优对齐,并展示了其可扩展性。理论复杂性分析进一步表明与其他常见的符合性检查方法相比,该方法搜索空间的增长较小。这项研究为大规模过程挖掘应用的高效符合性检查提供了宝贵的贡献。