Abstract:Process mining uses historical executions of business processes (as recorded in an event log) to uncover and describe the process' behaviour as a process model. The goal of conformance checking is to ensure that the model is of high quality and is a good representation of the event log, thus assuring the model is a solid foundation for subsequent analysis of the process. To date, few conformance checking approaches have considered model quality beyond what is determined by the execution order of process activities. In data-aware process models, which are generated by decision mining techniques, process activities are annotated with conditions to represent the decision-making of a process. Such models are more expressive than those that represent only process activities. With the current notions of conformance checking, it is unclear what properties determine the quality of these data-aware process models. To address this gap, we introduce desirable properties, as axioms, for conformance checking of data-aware models. Our contribution is threefold: i) we present a generalisation that abstracts from the representation of data-aware models, ii) we present nine axioms of desirable properties for data-aware conformance checking, and iii) we define two measures for model recall and precision. Using our axioms as a yardstick, we compare our proposed recall and precision measures with existing measures. Our experimental results show that existing measures exhibit limited adherence to our axioms; while, our two proposed measures exhibit high adherence to our axioms.

Towards Confirmatory Process Discovery: Making Assertions About the Underlying System

An Integrated Framework for Process Discovery Algorithm Evaluation

A framework for optimisation based stochastic process discovery

Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data

Imposing Rules in Process Discovery: an Inductive Mining Approach

Precision and Fitness in Object-Centric Process Mining

The Imprecisions of Precision Measures in Process Mining

Comparing Conformance Checking for Decision Mining: An Axiomatic Approach

A Novel Approach to Discover Switch Behaviours in Process Mining

Discovering High-Quality Process Models Despite Data Scarcity

Striking a new Balance in Accuracy and Simplicity with the Probabilistic Inductive Miner

A User Evaluation of Automated Process Discovery Algorithms

Conformance Checking over Uncertain Event Data

Mining Constraints from Reference Process Models for Detecting Best-Practice Violations in Event Log

Process Mining Success Factors and Their Interrelationships

An empirical evaluation of process mining algorithms based on structural and behavioral similarities.

Mining Process Model Descriptions of Daily Life through Event Abstraction

Automated Discovery of Process Models with True Concurrency and Inclusive Choices

Process Mining on Uncertain Event Data

Mining Process Models with Non-Free-choice Constructs

A Chance for Models to Show Their Quality: Stochastic Process Model-Log Dimensions