|
Title:
|
A recursive paradigm for aligning observed behavior of large structured process models
|
|
Author:
|
Taymouri, Farbod; Carmona Vargas, Josep
|
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
|
Abstract:
|
The alignment of observed and modeled behavior is a crucial problem in process mining, since it opens the door for conformance checking and enhancement of process models. The state of the art techniques for the computation of alignments rely on a full exploration of the combination of the model state space and the observed behavior (an event log), which hampers their applicability for large instances. This paper presents a fresh view to the alignment problem: the computation of alignments is casted as the resolution of Integer Linear Programming models, where the user can decide the granularity of the alignment steps. Moreover, a novel recursive strategy is used to split
the problem into small pieces, exponentially reducing the complexity of the ILP models to be solved. The contributions of this paper represent a promising alternative to fight the inherent complexity of computing alignments for large instances. |
|
Abstract:
|
Peer Reviewed |
|
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
-Linear programming
-Data mining
-Enterprise resource management
-Integer programming
-Alignment problems
-Conformance checking
-Inherent complexity
-Integer linear programming models
-Model state
-Process model
-State-of-the-art techniques
-Structured process models
-Programació lineal
-Mineria de dades |
|
Rights:
|
|
|
Document type:
|
Article - Submitted version
Conference Object |
|
Published by:
|
Springer
|
|
Share:
|
|
