Efficient Conformance Checking using Approximate Alignment Computation with Tandem Repeats

1 code implementation • 2 Apr 2020 • Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa

Alignments are an established technique to compute the distance between a trace in the event log and the closest execution trace of a corresponding process model.

Generalization in Automated Process Discovery: A Framework based on Event Log Patterns

1 code implementation • 26 Mar 2022 • Daniel Reißner, Abel Armas-Cervantes, Marcello La Rosa

We address these shortcomings by proposing a framework of measures that generalize a set of patterns discovered from an event log with representative traces and check the corresponding control-flow structures in the process model via their trace alignment.

Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components

no code implementations • 22 Oct 2019 • Daniel Reißner, Abel Armas-Cervantes, Raffaele Conforti, Marlon Dumas, Dirk Fahland, Marcello La Rosa

To address this limitation, the paper proposes a second technique wherein the process model is first decomposed into a set of automata, known as S-components, such that the product of these automata is equal to the automaton of the whole process model.

Software Engineering