基于状态区域理论修复带非局部约束过程模型的方法
人工智能
2023-06-22 v2 形式语言与自动机理论
摘要
最先进的过程发现方法从事件日志中构建自由选择过程模型。因此，所构建的模型未考虑事件间的间接依赖。每当输入行为非自由选择时，这些方法无法提供精确模型。本文中，我们提出一种新方法，通过基于区域的技术事后发现的非自由选择构造来增强自由选择过程模型。这使我们既能受益于现有过程发现方法的性能，又能受益于所采用的基础合成技术的准确性。我们证明所提方法在间接依赖存在时保持针对事件日志的适应度，同时提升精确度。该方法已实现并在合成与真实数据集上测试。结果显示了其在修复从事件日志发现模型方面的有效性。
引用
@article{arxiv.2106.15398,
title = {Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory},
author = {Anna Kalenkova and Josep Carmona and Artem Polyvyanyy and Marcello La Rosa},
journal= {arXiv preprint arXiv:2106.15398},
year = {2023}
}