Mostra el registre d'ítem simple

dc.contributor.authorChatain, Thomas
dc.contributor.authorCarmona Vargas, Josep
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2017-05-03T11:38:28Z
dc.date.available2017-05-03T11:38:28Z
dc.date.issued2016
dc.identifier.citationChatain, T., Carmona, J. Anti-alignments in conformance checking: the dark side of process models. A: International Conference on Application and Theory of Petri Nets and Concurrency. "Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016: Torun, Poland, June 19-24, 2016: proceedings". Torun: Springer, 2016, p. 240-258.
dc.identifier.isbn9783319390864
dc.identifier.urihttp://hdl.handle.net/2117/103958
dc.description.abstractConformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space explosion problem, hence handling process models exhibiting large or even infinite state spaces remains a challenge. One important metric in conformance checking is to asses the precision of the model with respect to the observed executions, i.e., characterize the ability of the model to produce behavior unrelated to the one observed. By avoiding the computation of the full state space of a model, current techniques only provide estimations of the precision metric, which in some situations tend to be very optimistic, thus hiding real problems a process model may have. In this paper we present the notion of antialignment as a concept to help unveiling traces in the model that may deviate significantly from the observed behavior. Using anti-alignments, current estimations can be improved, e.g., in precision checking. We show how to express the problem of finding anti-alignments as the satisfiability of a Boolean formula, and provide a tool which can deal with large models efficiently.
dc.format.extent19 p.
dc.language.isoeng
dc.publisherSpringer
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshAlgebra, Boolean
dc.subject.otherBoolean algebra
dc.subject.otherComputation theory
dc.subject.otherPetri nets
dc.subject.otherBoolean formulae
dc.subject.otherConformance checking
dc.subject.otherCurrent estimation
dc.subject.otherHandling process
dc.subject.otherInfinite state space
dc.subject.otherProcess Modeling
dc.subject.otherSatisfiability
dc.subject.otherState-space explosion
dc.titleAnti-alignments in conformance checking: the dark side of process models
dc.typeConference report
dc.subject.lemacÀlgebra booleana
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1007/978-3-319-39086-4_15
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://link.springer.com/chapter/10.1007%2F978-3-319-39086-4_15
dc.rights.accessOpen Access
local.identifier.drac18789665
dc.description.versionPostprint (author's final draft)
local.citation.authorChatain, T.; Carmona, J.
local.citation.contributorInternational Conference on Application and Theory of Petri Nets and Concurrency
local.citation.pubplaceTorun
local.citation.publicationNameApplication and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016: Torun, Poland, June 19-24, 2016: proceedings
local.citation.startingPage240
local.citation.endingPage258


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple