反对齐——过程模型与事件日志精确性的度量
人工智能
2019-12-13 v1 形式语言与自动机理论
摘要
流程是组织中的关键制品，因其协调活动的执行以提供产品和服务。利用模型分析底层流程是一种公认实践。然而，由于流程的复杂性与持续演化，组织需要有效方式来分析了流程与模型间的关系。一致性检查技术评估过程模型在表征通过真实执行集合观测到的底层流程方面的适用性。一致性检查中的一项重要度量是评估模型相对于观测执行的精确性，即刻画模型产生与观测行为无关行为的能力。本文提出反对齐概念，以助揭示模型中可能显著偏离观测行为的运行。利用反对齐，提出了一种新的精确性度量。与现有度量相比，基于反对齐的精确性度量满足近期文献中强调的大部分所需公理。此外，给出了计算反对齐问题的复杂性分析，阐明了使用反对齐估计精确性的可行性。实验验证了本文所引入概念的有效性。
引用
@article{arxiv.1912.05907,
title = {Anti-Alignments -- Measuring The Precision of Process Models and Event Logs},
author = {Thomas Chatain and Mathilde Boltenhagen and Josep Carmona},
journal= {arXiv preprint arXiv:1912.05907},
year = {2019}
}