DocumentCode
408043
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
Volume
1
fYear
2003
fDate
8-13 Oct. 2003
Firstpage
111
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics, Intelligent Systems and Signal Processing, 2003. Proceedings. 2003 IEEE International Conference on
Print_ISBN
0-7803-7925-X
Type
conf
DOI
10.1109/RISSP.2003.1285558
Filename
1285558
Link To Document