Mostra el registre d'ítem simple
Algorithms for Process Conformance and Process Refinement
dc.contributor | Carmona Vargas, Josep |
dc.contributor.author | Muñoz-Gama, Jorge |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2011-03-08T08:19:57Z |
dc.date.available | 2011-03-08T08:19:57Z |
dc.date.issued | 2010-09 |
dc.identifier.uri | http://hdl.handle.net/2099.1/11299 |
dc.description.abstract | Process 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.language.iso | eng |
dc.publisher | Universitat Politècnica de Catalunya |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
dc.subject.lcsh | Software engineering |
dc.subject.lcsh | Database management |
dc.subject.other | Process Mining |
dc.subject.other | Supervisory Control |
dc.subject.other | Process Conformance |
dc.subject.other | Process Refinement |
dc.subject.other | Petri Nets |
dc.title | Algorithms for Process Conformance and Process Refinement |
dc.type | Master thesis |
dc.subject.lemac | Enginyeria de programari |
dc.subject.lemac | Bases de dades -- Gestió |
dc.rights.access | Open Access |
dc.audience.educationlevel | Màster |
dc.audience.mediator | Facultat d'Informàtica de Barcelona |
dc.audience.degree | MÀSTER UNIVERSITARI EN COMPUTACIÓ (Pla 2006) |