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.
Official URL: http://dx.doi.org/10.1109/ITSIM.2010.5561621
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|
|Deposited By:||Liza Porijo|
|Deposited On:||30 Aug 2012 03:03|
|Last Modified:||30 Aug 2012 03:05|
Repository Staff Only: item control page