Loading...
Loading...

Go to the content (press return)

Aligning modeled and observed behavior: A compromise between computation complexity and quality

Author
Dongen, B.; Carmona, J.; Chatain, T.; Taymouri, F.
Type of activity
Presentation of work at congresses
Name of edition
29th International Conference on Advanced Information Systems Engineering
Date of publication
2017
Presentation's date
2017-06-14
Book of congress proceedings
Advanced Information Systems Engineering, 29th International Conference, CAiSE 2017: Essen, Germany, June 12-16, 2017: proceedings
First page
94
Last page
109
Publisher
Springer
DOI
https://doi.org/10.1007/978-3-319-59536-8_7 Open in new window
Repository
http://hdl.handle.net/2117/127950 Open in new window
URL
https://link.springer.com/chapter/10.1007/978-3-319-59536-8_7 Open in new window
Abstract
Certifying that a process model is aligned with the real process executions is perhaps the most desired feature a process model may have: aligned process models are crucial for organizations, since strategic decisions can be made easier on models instead of on plain data. In spite of its importance, the current algorithmic support for computing alignments is limited: either techniques that explicitly explore the model behavior (which may be worst-case exponential with respect to the model size),...
Citation
Dongen, B. [et al.]. Aligning modeled and observed behavior: A compromise between computation complexity and quality. A: International Conference on Advanced Information Systems Engineering. "Advanced Information Systems Engineering, 29th International Conference, CAiSE 2017: Essen, Germany, June 12-16, 2017: proceedings". Berlín: Springer, 2017, p. 94-109.
Keywords
Alignments, Conformance checking, Heuristics, ILP, Process mining
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments