Title :
Formalization of UML class diagram using description logics
Author :
Efrizoni, L. ; Wan-Kadir, Wan M N ; Mohamad, Radziah
Author_Institution :
Teknik Informatika, STMIK-AMIK Riau - Pekanbaru, Riau, Indonesia
Abstract :
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).
Keywords :
Unified Modeling Language; formal logic; object-oriented languages; English language; UML class diagram; UML notation; Unified Modelling Language; description logic; logic-based representation formalism; natural language description; object constraint language; object-oriented modelling notation; software development industry; Companies; Copper; Syntactics; Unified modeling language; UML class diagram; description logic; formalization; logic-based;
Conference_Titel :
Information Technology (ITSim), 2010 International Symposium in
Conference_Location :
Kuala Lumpur
Print_ISBN :
978-1-4244-6715-0
DOI :
10.1109/ITSIM.2010.5561621
