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

摘要

UML lacks formal semantics, making it difficult to develop UML automatic checking tools, so a formal description and automatic checking method of UML class diagram based on matrix theory was proposed.First, the formal description rules of class diagram based on binary relation and matrix was given respectively.Then, the automatic checking of UML class diagram was discussed.Finally, the effectiveness of this method was illustrated by an instance.Experimental results show that this method can describe the UML class diagram formally, and can find out the errors exist in the model through mathematical methods.%针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对UML类图进行形式化描述,且可以通过数学方法找出模型中存在的错误.