Show simple item record

dc.contributor.authorDongen, Boudewijn F. van
dc.contributor.authorCarmona Vargas, Josep
dc.contributor.authorChatain, Thomas
dc.contributor.authorTaymouri, Farbod
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2019-01-31T07:47:28Z
dc.date.available2019-01-31T07:47:28Z
dc.date.issued2017
dc.identifier.citationDongen, 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.
dc.identifier.isbn978-3-319-59536-8
dc.identifier.urihttp://hdl.handle.net/2117/127950
dc.description.abstractCertifying 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), or heuristic approaches that cannot guarantee a solution, are the only alternatives. In this paper we propose a solution that sits right in the middle in the complexity spectrum of alignment techniques; it can always guarantee a solution, whose quality depends on the exploration depth used and local decisions taken at each step. We use linear algebraic techniques in combination with an iterative search which focuses on progressing towards a solution. The experiments show a clear reduction in the time required for reaching a solution, without sacrificing significantly the quality of the alignment obtained.
dc.format.extent16 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat
dc.subject.lcshComputational complexity
dc.subject.lcshIterative methods (Mathematics)
dc.subject.lcshAlgebras, Linear
dc.subject.otherProcess mining
dc.subject.otherConformance checking
dc.subject.otherILP
dc.subject.otherHeuristics
dc.subject.otherAlignments
dc.titleAligning modeled and observed behavior: A compromise between computation complexity and quality
dc.typeConference report
dc.subject.lemacComplexitat computacional
dc.subject.lemacMètodes iteratius (Matemàtica)
dc.subject.lemacÀlgebra lineal
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1007/978-3-319-59536-8_7
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://link.springer.com/chapter/10.1007/978-3-319-59536-8_7
dc.rights.accessOpen Access
local.identifier.drac23568118
dc.description.versionPostprint (author's final draft)
local.citation.authorDongen, B.; Carmona, J.; Chatain, T.; Taymouri, F.
local.citation.contributorInternational Conference on Advanced Information Systems Engineering
local.citation.pubplaceBerlín
local.citation.publicationNameAdvanced Information Systems Engineering, 29th International Conference, CAiSE 2017: Essen, Germany, June 12-16, 2017: proceedings
local.citation.startingPage94
local.citation.endingPage109


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record