Text this: Especificación formal en OCL de reglas de consistencia entre el modelo de clases y de casos de uso de UML