Ontology-Based Verification of UML Class/OCL Model Journal title: Mehran University Research Journal of Engineering and Technology Authors: Abdul Hafeez, Syed Hyder Abbas Musavi, Aqeel -ur- Rehman Subject(s):