|
|||||
|
|
| UML类图元模型基于描述逻辑的表示及验证 | |
| 引用本文： | 李晶晶,江涛,郭雨婷,李迪,王米利.UML类图元模型基于描述逻辑的表示及验证[J].云南民族大学学报(自然科学版),2015,24(4):341-345. |
| 作者姓名： | 李晶晶 江涛 郭雨婷 李迪 王米利 |
| 作者单位： | 云南民族大学数学与计算机科学学院 昆明650500 |
| 摘 要： | UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性. |
| 关 键 词： | UML类图 元模型 描述逻辑SHOIN(D) |
| 本文献已被 CNKI 等数据库收录！ | |