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