基于矩阵理论的UML类图形式化描述与检测

针对UML缺少形式化语义，使得开发UML自动检测工具变得困难的问题，提出了一种基于矩阵理论的UML 类图形式化描述和自动检测方法．首先，分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后，讨论了UML类图的自动检测;最后，用一个实例说明了该方法的有效性．实验结果表明: 该方法可以对 UML类图进行形式化描述，且可以通过数学方法找出模型中存在的错误