Hierarchical conformance checking of process models based on event logs

Authors:
Jorge Munoz-Gama;Josep Carmona;Wil M. P. van der Aalst
Affiliations:
Universitat Politecnica de Catalunya, Barcelona, Spain;Universitat Politecnica de Catalunya, Barcelona, Spain;Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Year:
2013

Citing 12
Cited 2

Software process validation: quantitatively measuring the correspondence of a process to a model

ACM Transactions on Software Engineering and Methodology (TOSEM)
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Conformance checking of processes based on monitoring real behavior

Information Systems
The Refined Process Structure Tree

BPM '08 Proceedings of the 6th International Conference on Business Process Management
The need for a process mining evaluation framework in research and practice: position paper

BPM'07 Proceedings of the 2007 international conference on Business process management
Soundness of workflow nets: classification, decidability, and analysis

Formal Aspects of Computing
Process Mining: Discovery, Conformance and Enhancement of Business Processes

Process Mining: Discovery, Conformance and Enhancement of Business Processes
Simplified computation and generalization of the refined process structure tree

WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Cost-Based Fitness in Conformance Checking

ACSD '11 Proceedings of the 2011 Eleventh International Conference on Application of Concurrency to System Design
Conformance Checking Using Cost-Based Fitness Analysis

EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using real-life event logs

Information Systems
Decomposing process mining problems using passages

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets

Decomposing Petri nets for process mining: A generic approach

Distributed and Parallel Databases
Process Discovery and Conformance Checking Using Passages

Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012

Quantified Score

Hi-index	0.00

Visualization

Abstract

Process mining techniques aim to extract knowledge from event logs. Conformance checking is one of the hard problems in process mining: it aims to diagnose and quantify the mismatch between observed and modeled behavior. Precise conformance checking implies solving complex optimization problems and is therefore computationally challenging for real-life event logs. In this paper a technique to apply hierarchical conformance checking is presented, based on a state-of-the-art algorithm for deriving the subprocesses structure underlying a process model. Hierarchical conformance checking allows us to decompose problems that would otherwise be intractable. Moreover, users can navigate through conformance results and zoom into parts of the model that have a poor conformance. The technique has been implemented as a ProM plugin and an experimental evaluation showing the significance of the approach is provided.