Mostra el registre d'ítem simple
Computing alignments with constraint programming : the acyclic case
dc.contributor.author | Borrego, Diana |
dc.contributor.author | Gómez López, María Teresa |
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Martínez Gasca, Rafael |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2017-03-30T06:45:05Z |
dc.date.available | 2017-03-30T06:45:05Z |
dc.date.issued | 2016 |
dc.identifier.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. |
dc.identifier.isbn | 1613-0073 |
dc.identifier.uri | http://hdl.handle.net/2117/103063 |
dc.description.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 computation of acyclic process models, that encodes the alignment problem as a Constraint Satisfaction Problem. Since modern solvers for this framework are capable of dealing with large instances, this contribution has a clear potential. Remarkably, our prototype implementation can handle instances that represent a real challenge for current techniques. Main advantages of using Constraint Programming paradigm lie in the possibility to adapt parameters such as the maximum search time, or the maximum misalignment allowed. Moreover, using search and propagation algorithms incorporated in Constraint Programming Solvers permits to find solutions for problems unsolvable with other techniques. |
dc.format.extent | 15 p. |
dc.language.iso | eng |
dc.publisher | CEUR-WS.org |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat |
dc.subject.lcsh | Constraint programming (Computer science) |
dc.subject.other | Conformance checking |
dc.subject.other | Constraint programmin |
dc.title | Computing alignments with constraint programming : the acyclic case |
dc.type | Conference report |
dc.subject.lemac | Programació per restriccions (Informàtica) |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | ceur-ws.org/Vol-1592/paper07.pdf - |
dc.rights.access | Open Access |
local.identifier.drac | 18789710 |
dc.description.version | Postprint (published version) |
local.citation.author | Borrego, D.; Gómez, M.; Carmona, J.; Martínez, R. |
local.citation.contributor | International Workshop on Algorithms & Theories for the Analysis of Event Data |
local.citation.pubplace | Torun |
local.citation.publicationName | Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016: Torun, Poland, June 20-21, 2016 |
local.citation.startingPage | 96 |
local.citation.endingPage | 110 |