Zapata, C.M. and González, G. 1. Especificación formal en OCL de reglas de consistencia entre los diagramas de clases y casos de uso de UML y el modelo de interfaces. Revista Ingenierías Universidad de Medellín. 7, 12 (1), 169-191.