Ontology-Based Finite Satisfiability of UML Class Model. - Abdul Hafeez Khan; Sayed Hyder Abbas Musavi; Aqeel-ur Rehman; Asadullah Shaikh (IEEE Access, 2018)

Ontology-based transformation and verification of uml class model. - Abdul Hafeez Khan; Syed Ali Abbas; Aqeel-ur Rehman (Int. Arab J. Inf. Technol., 2020)