Meta-Validation of UML Diagrams Using OCL Rules. - Il-Kyu Ha; Byung-Wook Kang (Software Engineering Research and Practice, 2003)