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 [Internet]. 1 [cited 2024May3];7(12):169-91. Available from: https://revistas.udem.edu.co/index.php/ingenierias/article/view/211