DeepAI AI Chat
Log In Sign Up

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

by   Paolo Felli, et al.

Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes, conformance checking with multi-perspective processes is still at its infancy. In this paper, we attack this challenging problem by considering processes that combine the data and control-flow dimensions. In particular, we adopt data Petri nets (DPNs) as the underlying reference formalism, and show how solid, well-established automated reasoning techniques can be effectively employed for computing conformance metrics and data-aware alignments. We do so by introducing the CoCoMoT (Computing Conformance Modulo Theories) framework, with a fourfold contribution. First, we show how SAT-based encodings studied in the pure control-flow setting can be lifted to our data-aware case, using SMT as the underlying formal and algorithmic framework. Second, we introduce a novel preprocessing technique based on a notion of property-preserving clustering, to speed up the computation of conformance checking outputs. Third, we provide a proof-of-concept implementation that uses a state-of-the-art SMT solver and report on preliminary experiments. Finally, we discuss how CoCoMoT directly lends itself to a number of further tasks, like multi- and anti-alignments, log analysis by clustering, and model repair.


page 1

page 2

page 3

page 4


Conformance Checking with Uncertainty via SMT (Extended Version)

Logs of real-life processes often feature uncertainty pertaining the rec...

Soundness of Data-Aware Processes with Arithmetic Conditions

Data-aware processes represent and integrate structural and behavioural ...

Online Soft Conformance Checking: Any Perspective Can Indicate Deviations

Within process mining, a relevant activity is conformance checking. Such...

Anti-Alignments – Measuring The Precision of Process Models and Event Logs

Processes are a crucial artefact in organizations, since they coordinate...

A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)

The last decade has witnessed an increasing transformation in the design...

Conformance checking: A state-of-the-art literature review

Conformance checking is a set of process mining functions that compare p...

Verification of data-aware workflows via reachability: formalisation and experiments

The growing adoption of IT-systems for the modelling and execution of (b...