Semat (Software Engineering Methods and Theory) busca crear un nucleo y un lenguaje que sean escalables, extensibles y faciles de usar, y que permitan a la gente describir los elementos esenciales de los metodos existentes, futuros y las practicas de modo que se puedan integrar, evaluar, adaptar, usar, simular y ensenar. Los elementos del nucleo de Semat incluyen un lenguaje simbolico acompanado de un calculo 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 aun presentan problemas de consistencia que se deberian subsanar para conseguir un uso adecuado de los elementos del lenguaje y poder representar adecuadamente las practicas y los metodos. La especificacion de la consistencia del nucleo de Semat mediante expresiones OCL es la solucion que se plantea en este proyecto de investigacion a la problematica detectada.