中南民族大学学报（自然科学版）2017，Vol.36Issue(2)：109-114,137,7.
基于矩阵理论的UML类图形式化描述与检测
Formal Description and Checking of UML Class Diagram Based on Matrix Theory
摘要
Abstract
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类图/形式化描述/检测Key words
binary relation/matrix/UML class diagram/formal description/checking分类
信息技术与安全科学引用本文复制引用
王智广,王雷,李聪莹..基于矩阵理论的UML类图形式化描述与检测[J].中南民族大学学报（自然科学版）,2017,36(2):109-114,137,7.基金项目
国家自然科学基金资助项目(60803159),国家"973"计划项目(2013CB228602)) （60803159）
