Loading...
Loading...

Go to the content (press return)

A recursive paradigm for aligning observed behavior of large structured process models

Author
Taymouri, F.; Carmona, J.
Type of activity
Presentation of work at congresses
Name of edition
14th International Conference on Business Process Management
Date of publication
2016
Presentation's date
2016-09
Book of congress proceedings
Business Process Management: 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016: proceedings
First page
197
Last page
214
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-319-45348-4_12 Open in new window
Repository
http://hdl.handle.net/2117/99940 Open in new window
URL
http://link.springer.com/chapter/10.1007/978-3-319-45348-4_12 Open in new window
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 cas...
Citation
Taymouri, F., Carmona, J. A recursive paradigm for aligning observed behavior of large structured process models. A: International Conference on Business Process Management. "Business Process Management: 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016: proceedings". Rio de Janeiro: Springer, 2016, p. 197-214.
Keywords
Alignment problems, Conformance checking, Enterprise resource management, Inherent complexity, Integer linear programming models, Integer programming, Model state, Process model, State-of-the-art techniques, Structured process models
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments