Zapata CM, González G. 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. rev.ing.univ.Medellin. 2011;7(12):169-191. Accessed May 10, 2026. https://revistas.udem.edu.co/index.php/ingenierias/article/view/211