Formalization of UML class diagram using description logics
Lusiana Efrizoni, Teknik Informatika, Wan Mohd Nasir Wan Kadir, Radziah Mohamad · 2010
Unified Modelling Language (UML) is as a standard object-oriented modelling notation that is widely accepted and used in software development industry. In general, the UML notation is informally defined in term of natural language description (English) and Object Constraint Language (OCL) which makes difficult to formally analyzed and error-prone. In this paper, we elucidate the preliminary result on an approach to formally define UML class diagram using logic-based representation formalism. We represent how to define the UML class diagram using Description Logics (DLs).