Loading...
Loading...

Go to the content (press return)

Computing alignments with constraint programming : the acyclic case

Author
Borrego, D.; Gómez, M.; Carmona, J.; Martínez, R.
Type of activity
Presentation of work at congresses
Name of edition
International Workshop on Algorithms and Theories for the Analysis of Event Data 2016
Date of publication
2016
Presentation's date
2016-06
Book of congress proceedings
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016: Torun, Poland, June 20-21, 2016
First page
1
Last page
15
Publisher
CEUR-WS.org
Repository
http://hdl.handle.net/2117/103063 Open in new window
Abstract
Conformance checking confronts process models with real process executions to detect and measure deviations between modelled and observed behaviour. The core technique for conformance checking is the computation of an alignment. Current approaches for alignment computation rely on a shortest-path technique over the product of the state-space of a model and the observed trace, thus suffering from the well-known state explosion problem. This paper presents a fresh alternative for alignment computa...
Citation
Borrego, D., Gómez, M., Carmona, J., Martínez, R. Computing alignments with constraint programming : the acyclic case. A: International Workshop on Algorithms & Theories for the Analysis of Event Data. "Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016: Torun, Poland, June 20-21, 2016". Torun: CEUR-WS.org, 2016, p. 96-110.
Keywords
Conformance checking, Constraint programmin
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Borrego, Diana  (author and speaker )
  • Gómez López, María Teresa  (author and speaker )
  • Carmona Vargas, Jose  (author and speaker )
  • Martínez Gasca, Rafael  (author and speaker )

Attachments