Title :
Some considerations in formalizing UML class diagrams with description logics
Author :
Zhihong, Zuo ; Mingtian, Zhou
Author_Institution :
Sch. of Comput. Sci. & Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China
Abstract :
This paper addresses some considerations in formalizing UML class diagrams with description logics (DLs), mainly with focus on the choice of description languages based on DLs and formalization of elements in UML class diagram. We also give suggestions for some problems occurred in formalizing UML class diagrams.
Keywords :
formal languages; formal logic; specification languages; UML class diagrams; Unified Modeling Language; description languages; description logics; Algorithm design and analysis; Artificial intelligence; Computer science; Inference algorithms; Logic; Unified modeling language;
Conference_Titel :
Robotics, Intelligent Systems and Signal Processing, 2003. Proceedings. 2003 IEEE International Conference on
Print_ISBN :
0-7803-7925-X
DOI :
10.1109/RISSP.2003.1285558
