Defensa de tesis: 'Comprobación de conformidad eficiente basada en alineamientos de modelos de procesos procedimentales y declarativos'

La minería de procesos es un conjunto de métodos que examinan datos de eventos para revelar cómo funcionan los procesos en la práctica y cómo pueden optimizarse. Una de las principales áreas dentro de este campo es la comprobación de conformidad, que compara el comportamiento observado con los modelos de procesos para identificar y medir desviaciones. Debido a la complejidad de los grandes procesos reales, las técnicas existentes de comprobación de conformidad fallan en producir resultados en algunos casos y muestran un rendimiento deficiente en otros.

Para abordar esta situación, se desarrollaron nuevos algoritmos escalables para calcular alineamientos óptimos entre registros de eventos y modelos de procesos. Las contribuciones incluyen un algoritmo eficiente de alineamiento para modelos procedimentales, un enfoque rápido para modelos declarativos y una técnica para modelos declarativos con datos, con soporte para condiciones de datos flexibles. Estos avances mejoran tanto la velocidad como la capacidad de diagnóstico, permitiendo que organizaciones de sectores como la sanidad, la informática o las finanzas comprendan y optimicen mejor sus procesos.

Directores: Manuel Lama Penín y Manuel Mucientes Molina