Conformance Checking with Uncertainty via SMT (Extended Version)

06/15/2022
by   Paolo Felli, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/18/2021

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)

Conformance checking is a key process mining task for comparing the expe...
research
03/28/2022

Soundness of Data-Aware Processes with Arithmetic Conditions

Data-aware processes represent and integrate structural and behavioural ...
research
03/22/2022

On Neural Network Equivalence Checking using SMT Solvers

Two pretrained neural networks are deemed equivalent if they yield simil...
research
05/04/2022

ASP-Based Declarative Process Mining

We put forward Answer Set Programming (ASP) as a solution approach for t...
research
07/05/2020

Partial Order Resolution of Event Logs for Process Conformance Checking

While supporting the execution of business processes, information system...
research
06/01/2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)

We propose DAB -- a data-aware extension of BPMN where the process opera...
research
08/27/2021

SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)

In the context of verification of data-aware processes (DAPs), a formal ...

Please sign up or login with your details

Forgot password? Click here to reset