Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
  (Extended Version)   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.

29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
19
The categories of this paper are: eess
2
The categories of this paper are: math
25
The categories of this paper are: patt-sol
17
The categories of this paper are: q-fin
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics