论文标题
通过SMT（扩展版）与不确定性检查一致性检查
Conformance Checking with Uncertainty via SMT (Extended Version)
论文作者
论文摘要
现实生活过程的日志通常具有与记录的时间戳，数据值和/或事件有关的不确定性。我们考虑检查不确定日志与数据吸引参考过程的不确定日志的问题。具体来说，我们展示了如何通过SMT编码来解决它，从而将基于数据感知的SMT符合性检查的先前工作升至此更复杂的设置。我们的方法是模块化的，因为它同质地适应了不同类型的不确定性。此外，使用适当的成本功能，可以解决不同的一致性检查任务。我们通过概念验证实施来展示我们的方法的正确性，并见证了可行性。
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain logs against data-aware reference processes. Specifically, we show how to solve it via SMT encodings, lifting previous work on data-aware SMT-based conformance checking to this more sophisticated setting. Our approach is modular, in that it homogeneously accommodates for different types of uncertainty. Moreover, using appropriate cost functions, different conformance checking tasks can be addressed. We show the correctness of our approach and witness feasibility through a proof-of-concept implementation.
