Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect
to a process model. Alignment-based approaches for conformance checking have so far …

A temporal model describes processes as a sequence of observable events characterised
by distinguishable actions in time. Conformance checking allows these models to determine …

Although current efforts are all aimed at re-defining new ways to harness old data
representations, possibly with new schema features, the challenges still open provide …

Alignments pinpoint trace deviations in a process model and quantify their severity.
However, approaches based on trace alignments use crisp process models and recent …

This technical report provides some lightweight introduction motivating the definition of an
alignment of log traces against Data-Aware Declare Models potentially containing …