%0 Journal Article
%T 基于矩阵理论的UML类图形式化描述与检测
%A 李聪莹
%A 王 雷
%A 王智广
%J 中南民族大学学报(自然科学版)
%D 2017
%R 10.12130/znmdzk.20170223
%X 针对UML缺少形式化语义，使得开发UML自动检测工具变得困难的问题，提出了一种基于矩阵理论的UML 类图形式化描述和自动检测方法．首先，分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后，讨论了UML类图的自动检测;最后，用一个实例说明了该方法的有效性．实验结果表明: 该方法可以对 UML类图进行形式化描述，且可以通过数学方法找出模型中存在的错误
%K 二元关系 矩阵 UML类图 形式化描述 检测
%U http://znzk.scuec.edu.cn/ch/reader/view_abstract.aspx?file_no=20170223&flag=1