UML类图的一种表示方法

作者：李晶晶; 郭雨婷; 和晓萍

来源：山西大同大学学报(自然科学版), 2015, 31(01): 8-19.

• UML
• 形式化
• 图元模型

由于UML类图元模型的庞大性和复杂性,为此,提出UML类图元模型基于描述逻辑的一种表示方法。通过分析UML类图元模型各元素与描述逻辑SHOIN(D)的对应关系,给出UML类图元模型基于SHOIN(D)的表示方法。

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