Title :
Formalizing Fuzzy UML Class Diagrams with Fuzzy Description Logics
Author :
Zhou, Bo ; Lu, Jianjiang ; Wang, Zhixue ; Zhang, Yafei ; Miao, Zhuang
Author_Institution :
Inst. of Command Autom., PLA Univ. of Sci. & Technol., Nanjing, China
Abstract :
UML is a standard for object-oriented modeling. Since the majority of real world information is uncertain and vague, fuzzy UML has been presented. Analogous to UML, fuzzy UML is semi-formed. In order to solve this problem, this paper attempts to formalize fuzzy UML class diagrams with fuzzy description logics, mainly with focus on formalization of elements in fuzzy UML class diagram and applying this approach to fuzzy UML models for verifying its availability.
Keywords :
Unified Modeling Language; formal logic; fuzzy set theory; object-oriented methods; fuzzy UML class diagrams; fuzzy description logics; object-oriented modeling; Automation; Fuzzy logic; Fuzzy reasoning; Fuzzy set theory; Fuzzy sets; Information technology; Object oriented modeling; Programmable logic arrays; Software standards; Unified modeling language; formalization; fuzzy UML class diagrams; fuzzy description logic;
Conference_Titel :
Intelligent Information Technology Application, 2009. IITA 2009. Third International Symposium on
Conference_Location :
Nanchang
Print_ISBN :
978-0-7695-3859-4
DOI :
10.1109/IITA.2009.97
