Formalization of UML class diagram using description logics

  title={Formalization of UML class diagram using description logics},
  author={Lusiana Efrizoni and Teknik Informatika and Wan M. N. Wan-Kadir and Radziah Mohamad},
  journal={2010 International Symposium on Information Technology},
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… CONTINUE READING
3 Citations
17 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…