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

作者：李晶晶; 江涛; 郭雨婷; 李迪; 王米利

来源：云南民族大学学报(自然科学版), 2015, 24(04): 341-345.

• UML类图
• 元模型
• 描述逻辑SHOIN(D)

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

• 出版日期2015
• 单位云南民族大学