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

Volume

3

fYear

2010

fDate

15-17 June 2010

Firstpage

1168

Lastpage

1173

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology (ITSim), 2010 International Symposium in

Conference_Location

Kuala Lumpur

ISSN

2155-897

Print_ISBN

978-1-4244-6715-0

Type

conf

DOI

10.1109/ITSIM.2010.5561621

Filename

5561621