|
|||||
|
|
| 基于模糊描述逻辑的模糊UML类图形式化 | |
| 引用本文： | 周波,张亚非,陆建江,王进鹏,苗壮.基于模糊描述逻辑的模糊UML类图形式化[J].解放军理工大学学报,2010,11(4):386-391. |
| 作者姓名： | 周波 张亚非 陆建江 王进鹏 苗壮 |
| 作者单位： | 解放军理工大学,指挥自动化学院,江苏,南京,210007 |
| 基金项目： | 国家863计划资助项目 |
| 摘 要： | 由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。 |
| 关 键 词： | 模糊UML 类图 模糊描述逻辑 形式化 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《解放军理工大学学报》浏览原始摘要信息 | |
| 点击此处可从《解放军理工大学学报》下载免费的PDF全文 | |