Year: 2022
Type: preprint
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.
Source: arXiv (Cornell University)
Institution: Free University of Bozen-Bolzano
Language: English
Subfield: Management Information Systems
Domain: Social Sciences
Open Access status: green
Funder: Libera Università di Bolzano
OpenAlex ID: W4283027157