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