English
Related papers

Related papers: Anti-Alignments -- Measuring The Precision of Proc…

200 papers

The subject of this paper is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. Time-aware process mining…

Formal Languages and Automata Theory · Computer Science 2022-10-28 Neha Rino , Thomas Chatain

The subject of this paper is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. Time-aware process mining…

Formal Languages and Automata Theory · Computer Science 2022-07-06 Thomas Chatain , Neha Rino

Conformance checking techniques allow us to quantify the correspondence of a process's execution, captured in event data, w.r.t., a reference process model. In this context, alignments have proven to be useful for calculating conformance…

Software Engineering · Computer Science 2021-03-25 Mohammadreza Fani Sani , Martin Kabierski , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

Conformance checking is a set of process mining functions that compare process instances with a given process model. It identifies deviations between the process instances' actual behaviour ("as-is") and its modelled behaviour ("to-be").…

Software Engineering · Computer Science 2020-07-22 Sebastian Dunzer , Matthias Stierle , Martin Matzner , Stephan Baier

Conformance checking techniques let us find out to what degree a process model and real execution data correspond to each other. In recent years, alignments have proven extremely useful in calculating conformance statistics. Most techniques…

Artificial Intelligence · Computer Science 2019-12-12 Mohammadreza Fani Sani , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

Conformance checking deals with collating modeled process behavior with observed process behavior recorded in event data. Alignments are a state-of-the-art technique to detect, localize, and quantify deviations in process executions, i.e.,…

Software Engineering · Computer Science 2022-11-23 Daniel Schuster , Niklas Föcking , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

Conformance checking encompasses a body of process mining techniques which aim to find and describe the differences between a process model capturing the expected process behavior and a corresponding event log recording the observed…

Software Engineering · Computer Science 2022-03-29 Daniel Reißner , Abel Armas-Cervantes , Marcello La Rosa

With the growing number of devices, sensors and digital systems, data logs may become uncertain due to, e.g., sensor reading inaccuracies or incorrect interpretation of readings by processing programs. At times, such uncertainties can be…

Artificial Intelligence · Computer Science 2023-11-22 Eli Bogdanov , Izack Cohen , Avigdor Gal

In process mining, precision measures are used to quantify how much a process model overapproximates the behavior seen in an event log. Although several measures have been proposed throughout the years, no research has been done to validate…

Databases · Computer Science 2018-05-07 Niek Tax , Xixi Lu , Natalia Sidorova , Dirk Fahland , Wil M. P. van der Aalst

Conformance checking techniques allow us to evaluate how well some exhibited behaviour, represented by a trace of monitored events, conforms to a specified process model. Modern monitoring and activity recognition technologies, such as…

Artificial Intelligence · Computer Science 2023-03-31 Jiawei Zheng , Petros Papapanagiotou , Jacques D. Fleuriot

Alignments are a well-known process mining technique for reconciling system logs and normative process models. Evidence of certain behaviors in a real system may only be present in one representation - either a log or a model - but not in…

Artificial Intelligence · Computer Science 2025-01-27 Dominique Sommers , Natalia Sidorova , Boudewijn van Dongen

Process mining sheds new light on the relationship between process models and real-life processes. Process discovery can be used to learn process models from event logs. Conformance checking is concerned with quantifying the quality of a…

Artificial Intelligence · Computer Science 2019-09-06 Anja F. Syring , Niek Tax , Wil M. P. van der Aalst

Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect to a process model and their severity. However, approaches based on trace alignments use crisp process models as reference and recent…

Databases · Computer Science 2021-07-09 Giacomo Bergami , Fabrizio Maria Maggi , Marco Montali , Rafael Peñaloza

Processes tend to interact with other processes and operate on various objects of different types. These objects can influence each other creating dependencies between sub-processes. Analyzing the conformance of such complex processes…

Databases · Computer Science 2023-05-10 Lukas Liss , Jan Niklas Adams , Wil M. P. van der Aalst

Detecting undesired process behavior is one of the main tasks of process mining and various conformance-checking techniques have been developed to this end. These techniques typically require a normative process model as input, specifically…

Software Engineering · Computer Science 2025-08-25 Adrian Rebmann , Timotheus Kampik , Carl Corea , Han van der Aa

Formal verification provides assurances that a probabilistic system satisfies its specification--conditioned on the system model being aligned with reality. We propose alignment monitoring to watch that this assumption is justified. We…

Logic in Computer Science · Computer Science 2025-08-04 Thomas A. Henzinger , Konstantin Kueffner , Vasu Singh , I Sun

The business processes of organizations may deviate from normal control flow due to disruptive anomalies, including unknown, skipped, and wrongly-ordered activities. To identify these control-flow anomalies, process mining can check…

Machine Learning · Computer Science 2025-02-17 Francesco Vitale , Marco Pegoraro , Wil M. P. van der Aalst , Nicola Mazzocca

Process mining leverages event data extracted from IT systems to generate insights into the business processes of organizations. Such insights benefit from explicitly considering the frequency of behavior in business processes, which is…

Formal Languages and Automata Theory · Computer Science 2025-07-10 Tian Li , Artem Polyvyanyy , Sander J. J. Leemans

Given a model of the expected behavior of a business process and an event log recording its observed behavior, the problem of business process conformance checking is that of identifying and describing the differences between the model and…

Software Engineering · Computer Science 2020-03-06 Daniel Reißner , Abel Armas-Cervantes , Raffaele Conforti , Marlon Dumas , Dirk Fahland , Marcello La Rosa

The strong impulse to digitize processes and operations in companies and enterprises have resulted in the creation and automatic recording of an increasingly large amount of process data in information systems. These are made available in…

Artificial Intelligence · Computer Science 2022-04-11 Marco Pegoraro , Merih Seran Uysal , Wil M. P. van der Aalst
‹ Prev 1 2 3 10 Next ›