UML类图元模型基于描述逻辑的表示及验证

• 作者: 李晶晶 李迪 江涛 王米利 郭雨婷
• 来源期刊: 云南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: UML类图 元模型 描述逻辑SHOIN(D)
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 信息与计算机科学
• 页码范围: 341-345
• 页数: 5页
• 分类号: TP311
• 字数: 2592字
• 语种: 中文
• DOI: 12.3969/j.issn.1672-8513.2015.04.018

摘要

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN (D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李迪	云南民族大学数学与计算机科学学院	7	11	2.0	3.0
2	江涛	云南民族大学数学与计算机科学学院	10	9	2.0	2.0
3	郭雨婷	云南民族大学数学与计算机科学学院	3	27	2.0	3.0
4	王米利	云南民族大学数学与计算机科学学院	7	10	2.0	3.0
5	李晶晶	云南民族大学数学与计算机科学学院	5	30	2.0	5.0