Defensa de tese: 'Comprobación de conformidade eficiente baseada en aliñamentos de modelos de procesos procedementais e declarativos'

A minería de procesos é un conxunto de métodos que examinan datos de eventos para revelar como funcionan os procesos na práctica e como se poden optimizar. Unha das principais áreas dentro deste campo é a comprobación de conformidade, que compara o comportamento observado cos modelos de procesos para identificar e medir desviacións. Debido á complexidade dos grandes procesos reais, as técnicas existentes de comprobación de conformidade fallan en producir resultados nalgúns casos e mostran un rendemento pobre noutros.

Para abordar esta situación, desenvolvéronse novos algoritmos escalables para calcular aliñamentos óptimos entre rexistros de eventos e modelos de procesos. As contribucións inclúen un algoritmo eficiente de aliñamento para modelos procedementais, un enfoque rápido para modelos declarativos e unha técnica para modelos declarativos con datos, con soporte para condicións de datos flexibles. Estes avances melloran tanto a velocidade como a capacidade de diagnóstico, permitindo que organizacións de sectores como a sanidade, a informática ou as finanzas comprendan e optimicen mellor os seus procesos.

Directores: Manuel Lama Penín e Manuel Mucientes Molina