Universiti Teknologi Malaysia Institutional Repository

Formalization of UML class diagram using description logics

Wan Kadir, Wan Mohd. Nasir and Mohamad, Radziah and L., Efiizoni (2010) Formalization of UML class diagram using description logics. In: Proceedings 2010 International Symposium on Information Technology - System Development and Application and Knowledge Society, ITSim'10, 15-17 June 2010, Kuala Lumpur, Malaysia.

[img] PDF (Abstract)
67Kb

Official URL: http://dx.doi.org/10.1109/ITSIM.2010.5561621

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).

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:UML class diagram, description logic, formalization, logic-based
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:27994
Deposited By: Liza Porijo
Deposited On:30 Aug 2012 03:03
Last Modified:30 Aug 2012 03:05

Repository Staff Only: item control page