Show simple item record

dc.contributorCarmona Vargas, Josep
dc.contributor.authorMuñoz-Gama, Jorge
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.description.abstractProcess Conformance is a crucial step in the area of Process Mining: the adequacy of a model derived from applying a discovery algorithm to a log must be certified before making further decisions that affect the system under consideration. In the first part of this thesis, among the different conformance dimensions, we propose a novel measure for precision, based on the simple idea of counting these situations were the model deviates from the log. Moreover, a log-based traversal of the model that avoids inspecting its whole behavior is presented. Experimental results show a significant improvement when compared to current approaches for the same task. Finally, the detection of the shortest traces in the model that lead to discrepancies is presented. In the second part of the thesis, two different approaches are proposed in order to use the precision analysis information for refining the model, improving its accuracy. The first one is based on the idea of break concurrencies reflected in the model but not in the log. The second one presents the Supervisory Control Theory as the mechanism to improve the accuracy of the models building supervisors for controlling the precision issues.
dc.publisherUniversitat Politècnica de Catalunya
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.lcshSoftware engineering
dc.subject.lcshDatabase management
dc.subject.otherProcess Mining
dc.subject.otherSupervisory Control
dc.subject.otherProcess Conformance
dc.subject.otherProcess Refinement
dc.subject.otherPetri Nets
dc.titleAlgorithms for Process Conformance and Process Refinement
dc.typeMaster thesis
dc.subject.lemacEnginyeria de programari
dc.subject.lemacBases de dades -- Gestió
dc.rights.accessOpen Access
dc.audience.mediatorFacultat d'Informàtica de Barcelona
dc.audience.degreeMÀSTER UNIVERSITARI EN COMPUTACIÓ (Pla 2006)

Files in this item


This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain