Mostra el registre d'ítem simple
Encoding conformance checking artefacts in SAT
dc.contributor.author | Boltenhagen, Mathilde |
dc.contributor.author | Chatain, Thomas |
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2020-02-24T09:15:08Z |
dc.date.available | 2020-02-24T09:15:08Z |
dc.date.issued | 2019 |
dc.identifier.citation | Boltenhagen, M.; Chatain, T.; Carmona, J. Encoding conformance checking artefacts in SAT. A: International Workshop on Business Process Intelligence. "Business Process Management Workshops, BPM 2019 International Workshops: Vienna, Austria, September 1–6, 2019: revised selected papers". Berlín: Springer, 2019, p. 160-171. |
dc.identifier.isbn | 978-3-030-37453-2 |
dc.identifier.uri | http://hdl.handle.net/2117/178357 |
dc.description.abstract | Conformance checking strongly relies on the computation of artefacts, which enable reasoning on the relation between observed and modeled behavior. This paper shows how important conformance artefacts like alignments, anti-alignments or even multi-alignments, defined over the edit distance, can be computed by encoding the problem as a SAT instance. From a general perspective, the work advocates for a unified family of techniques that can compute conformance artefacts in the same way. The prototype implementation of the techniques presented in this paper show capabilities for dealing with some of the current benchmarks, and potential for the near future when optimizations similar to the ones in the literature are incorporated. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Data mining |
dc.subject.lcsh | Formal methods (Computer science) |
dc.subject.other | Conformance checking |
dc.subject.other | Edit distance |
dc.subject.other | Prototype implementations |
dc.subject.other | SAT instances |
dc.title | Encoding conformance checking artefacts in SAT |
dc.type | Conference report |
dc.subject.lemac | Mineria de dades |
dc.subject.lemac | Mètodes formals (Informàtica) |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1007/978-3-030-37453-2_14 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-030-37453-2_14 |
dc.rights.access | Open Access |
local.identifier.drac | 27008959 |
dc.description.version | Postprint (author's final draft) |
dc.relation.projectid | info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/TIN2017-86727-C2-1-R/ES/MODELOS Y METODOS BASADOS EN GRAFOS PARA LA COMPUTACION EN GRAN ESCALA/ |
local.citation.author | Boltenhagen, M.; Chatain, T.; Carmona, J. |
local.citation.contributor | International Workshop on Business Process Intelligence |
local.citation.pubplace | Berlín |
local.citation.publicationName | Business Process Management Workshops, BPM 2019 International Workshops: Vienna, Austria, September 1–6, 2019: revised selected papers |
local.citation.startingPage | 160 |
local.citation.endingPage | 171 |