Back to Search
Start Over
Conformance Checking with Uncertainty via SMT (Extended Version)
- Publication Year :
- 2022
-
Abstract
- 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.<br />Comment: Extended version of a conference paper accepted at the 20th International Conference on Business Process Management (BPM 2022)
Details
- Database :
- OAIster
- Publication Type :
- Electronic Resource
- Accession number :
- edsoai.on1333778950
- Document Type :
- Electronic Resource