Las técnicas de comprobación de conformidad de procesos (conformance checking) verifican si las trazas de ejecución de un procesos son consistentes con el modelo que describe su comportamiento. Sin embargo, en ocasiones los usuarios están interesados en consultar si un submodelo se verifica y/o si ciertas condiciones temporales o restricciones sobre indicadores clave de negocio han tenido lugar. Para resolver este problema se han propuesto trabajos basados en una aproximación declarativa y/o en chequeo de modelos. El principal problema de estas aproximaciones es su falta de flexibilidad a la hora de definir submodelos de procesos que contienen cualquier estructura de control y añadir a dichos modelos condiciones temporales complejas sobre actividades y condiciones sobre indicadores clave de negocio. En esta memoria se abordará este problema con una aproximación basada en técnicas de conformidad de procesos y en tecnologías de análisis masivo de datos (Big Data).