UML类图元模型基于描述逻辑的表示及验证
A representation and validation of the UML class diagram metamodel based on description logic
云南民族大学学报:自然科学版,2015,24(4):341-345

李晶晶 LJJ

摘要


UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性. Because the UML class diagram metamodel uses the nonformal representation,it is inadequate to give an accurate semantic description of the relevant structure.This paper proposes a method for the representation and validation of the UML class diagram metamodel based on description logic.Based on the analysis of the UML class diagram model,it establishes the rule set forthe UML class diagram metamodel based on the description logic SHOIN(D),and validates the consistency of the UML class diagram metamodel and its building models.

参考



全文: PDF      下载: 1148      浏览: 306


counter for myspace
云南民族大学学报(自然科学版) 1991—2016 Copyright
地址:云南省昆明市一二.一大街134号 邮编:650031 全国邮发代号:64-47
电话:0871-65132114 传真:0871-65137493 Email:ynmzxyxb@163.com