| 基于模糊描述逻辑的模糊UML类图形式化 |
| |
| 引用本文： | 周波,张亚非,陆建江,王进鹏,苗壮. 基于模糊描述逻辑的模糊UML类图形式化[J]. 解放军理工大学学报(自然科学版), 2010, 11(4): 386-391 |
| |
| 作者姓名： | 周波 张亚非 陆建江 王进鹏 苗壮 |
| |
| 作者单位： | 解放军理工大学,指挥自动化学院,江苏,南京,210007 |
| |
| 基金项目： | 国家863计划资助项目 |
| |
| 摘 要： | 由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。
|
| 关 键 词： | 模糊UML 类图 模糊描述逻辑 形式化 |
Formalization of fuzzy UML class diagrams based on fuzzy description logic |
| |
| ZHOU Bo,ZHANG Ya-fei,LU Jian-jiang,WANG Jin-peng and MIAO Zhuang. Formalization of fuzzy UML class diagrams based on fuzzy description logic[J]. Journal of PLA University of Science and Technology(Natural Science Edition), 2010, 11(4): 386-391 |
| |
| Authors: | ZHOU Bo ZHANG Ya-fei LU Jian-jiang WANG Jin-peng MIAO Zhuang |
| |
| Affiliation: | Institute of Command Automation,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Institute of Command Automation,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Institute of Command Automation,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Institute of Command Automation,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Institute of Command Automation,PLA Univ.of Sci.& Tech.,Nanjing 210007,China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《解放军理工大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《解放军理工大学学报(自然科学版)》下载全文 |
|
