Debido a la presión de las autoridades regulatorias, el requisito de mantenerse en cumplimiento ha aumentado enormemente en la última década. Para apoyar las actividades relacionadas con el cumplimiento, ha surgido una plétora de marcos de gestión de cumplimiento (CMFs), lenguajes de cumplimiento y sistemas, lo cual, por un lado, es ventajoso, pero puede causar confusión al decidir qué CMF se puede utilizar para cumplir mejor con los requisitos internos de la organización. Esto se debe a la falta de herramientas y metodologías de cumplimiento aceptables en el ámbito del cumplimiento para descubrir y comparar la multidimensionalidad de la capacidad entre diferentes marcos y las necesidades de los usuarios, lo que plantea la pregunta de cómo evaluar formalmente un CMF. En este documento, proponemos metodologías para evaluar formalmente los CMFs, lenguajes de cumplimiento y sistemas, en particular el lenguaje formal subyacente de un CMF; y presentamos la evaluación formal de dos CMFs prominentes basados en lenguajes formales, a saber, y , con un contrato comercial utilizando un enfoque de análisis formal. Nuestras evaluaciones validan formalmente que las metodologías propuestas son instrumentales para decidir sobre la idoneidad de un CMF cuando se trata de evaluar la lógica formal subyacente del marco para representar diferentes tipos de normas.