Anti-alignments—Measuring the precision of process models and event logs

Processes are a crucial artifact in organizations, since they coordinate the execution of activities so that products and services are provided. The use of models to analyze the underlying processes is a well-known practice. However, due to the complexity and continuous evolution of their processes,...

Descripción completa

Detalles Bibliográficos
Autores: Chatain, Thomas, Boltenhagen, Mathilde, Carmona Vargas, Josep|||0000-0001-9656-254X
Tipo de recurso: artículo
Fecha de publicación:2021
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/340700
Acceso en línea:https://hdl.handle.net/2117/340700
https://dx.doi.org/10.1016/j.is.2020.101708
Access Level:acceso abierto
Palabra clave:Business -- Data processing -- Mathematical models
Data mining
Conformance checking
Anti-alignments
Precision
Negocis -- Informàtica -- Models matemàtics
Mineria de dades
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Descripción
Sumario:Processes are a crucial artifact in organizations, since they coordinate the execution of activities so that products and services are provided. The use of models to analyze the underlying processes is a well-known practice. However, due to the complexity and continuous evolution of their processes, organizations need an effective way of analyzing the relation between processes and models. Conformance checking techniques assess the suitability of a process model in representing an underlying process, observed through a collection of real executions. One important metric in conformance checking is to assess 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. In this paper we present the notion of anti-alignment as a concept to help unveiling runs in the model that may deviate significantly from the observed behavior. Using anti-alignments, a new metric for precision is proposed. The proposed anti-alignment based precision metric satisfies most of the required axioms highlighted in a recent publication. Moreover, a complexity analysis of the problem of computing anti-alignments is provided, which sheds light into the practicability of using anti-alignment to estimate precision. Experiments are provided that witness the validity of the concepts introduced in this paper.