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

Formal Description and Checking of UML Class Diagram Based on Matrix Theory

作　　者：王智广[1,2] 王雷[1] 李聪莹[2] 

机构地区：[1]中国矿业大学(北京)机电与信息工程学院,北京100083 [2]中国石油大学(北京)地球物理与信息工程学院,北京102249

出　　处：《中南民族大学学报（自然科学版）》2017年第2期109-114,137,共7页Journal of South-Central University for Nationalities：Natural Science Edition

基　　金：国家自然科学基金资助项目(60803159);国家"973"计划项目(2013CB228602)

摘　　要：针对UML缺少形式化语义,使得开发UML自动检测工具变得困难的问题,提出了一种基于矩阵理论的UML类图形式化描述和自动检测方法.首先,分别给出了基于二元关系和基于矩阵的类图形式化描述规则;然后,讨论了UML类图的自动检测;最后,用一个实例说明了该方法的有效性.实验结果表明:该方法可以对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类图 形式化描述 检测 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]