Semat (Software Engineering Methods and Theory) busca crear un núcleo y un lenguaje que sean escalables, extensibles y fáciles de usar, y que permitan a la gente describir los elementos esenciales de los métodos existentes, futuros y las prácticas de modo que se puedan integrar, evaluar, adaptar, usar, simular y enseñar. Los elementos del núcleo de Semat incluyen un lenguaje simbólico acompañado de un cálculo formal. Estos elementos tienen especificaciones definidas en OCL (Object Constraint Language) y este conjunto de especificaciones incluye las invariantes y algunas operaciones adicionales que se necesitan. Las expresiones en OCL de Semat aún presentan problemas de consistencia que se deberían subsanar para conseguir un uso adecuado de los elementos del lenguaje y poder representar adecuadamente las prácticas y los métodos. La especificación de la consistencia del núcleo de Semat mediante expresiones OCL es la solución que se plantea en este proyecto de investigación a la problemática detectada.