云南民族大学学报（自然科学版）
雲南民族大學學報（自然科學版）
운남민족대학학보（자연과학판）
JOURNAL OF YUNNAN UNIVERSITY OF THE NATIONALITIES（NATURAL SCIENCES EDITION）
2015年
4期
341-345
,共5页
李晶晶%江涛%郭雨婷%李迪%王米利
李晶晶%江濤%郭雨婷%李迪%王米利
리정정%강도%곽우정%리적%왕미리
UML类图%元模型%描述逻辑SHOIN(D)
UML類圖%元模型%描述邏輯SHOIN(D)
UML류도%원모형%묘술라집SHOIN(D)
UML class diagram%metamodel%description logic SHOIN (D)
UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN (D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.
UML類圖元模型採用非形式化的錶示,無法對其結構語義進行嚴格的描述,因此提齣一種UML類圖元模型基于描述邏輯錶示及驗證的方法.在對UML類圖元模型進行分析的基礎上,構建瞭UML類圖元模型基于描述邏輯SHOIN (D)的約束規則集,併驗證瞭UML類圖元模型與其構建模型間的一緻性.
UML류도원모형채용비형식화적표시,무법대기결구어의진행엄격적묘술,인차제출일충UML류도원모형기우묘술라집표시급험증적방법.재대UML류도원모형진행분석적기출상,구건료UML류도원모형기우묘술라집SHOIN (D)적약속규칙집,병험증료UML류도원모형여기구건모형간적일치성.
