山西大同大学学报（自然科学版）
山西大同大學學報（自然科學版）
산서대동대학학보（자연과학판）
JOURNAL OF SHANXI DATONG UNIVERSITY(NATURAL SCIENCE EDITION)
2015年
1期
8-9,19
,共3页
李晶晶%郭雨婷%和晓萍
李晶晶%郭雨婷%和曉萍
리정정%곽우정%화효평
UML%形式化%图元模型
UML%形式化%圖元模型
UML%형식화%도원모형
UML%formalized%diagram meta-model
由于UML类图元模型的庞大性和复杂性，为此，提出UML类图元模型基于描述逻辑的一种表示方法。通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系，给出UML类图元模型基于SHOIN(D)的表示方法。
由于UML類圖元模型的龐大性和複雜性，為此，提齣UML類圖元模型基于描述邏輯的一種錶示方法。通過分析UML類圖元模型各元素與描述邏輯SHOIN(D)的對應關繫，給齣UML類圖元模型基于SHOIN(D)的錶示方法。
유우UML류도원모형적방대성화복잡성，위차，제출UML류도원모형기우묘술라집적일충표시방법。통과분석UML류도원모형각원소여묘술라집SHOIN(D)적대응관계，급출UML류도원모형기우SHOIN(D)적표시방법。
Sine UML class diagram meta-model is huge and comples, this paper proposes a method of UML class diagram meta-model based on description logic. First, it analyzes the relationship between the elements of UML class diagram meta-model and the de?scription logic SHOIN (D). And then it gives the representation of UML class diagram meta-model based on SHOIN (D).
