Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Computing alignments with constraint programming : the acyclic case

Autor
Borrego, D.; Gómez, M.; Carmona, J.; Martínez, R.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
International Workshop on Algorithms and Theories for the Analysis of Event Data 2016
Any de l'edició
2016
Data de presentació
2016-06
Llibre d'actes
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016: Torun, Poland, June 20-21, 2016
Pàgina inicial
1
Pàgina final
15
Repositori
http://hdl.handle.net/2117/103063 Obrir en finestra nova
Resum
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...
Paraules clau
Conformance Checking, Constraint Programmin
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

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