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

• 作者: 李聪莹 王智广 王雷
• 来源期刊: 中南民族大学学报（自然科学版）
• 学科: 工学
• 关键词: 二元关系 矩阵 UML类图 形式化描述 检测
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 计算机科学
• 页码范围: 109-114,137
• 页数: 7页
• 分类号: TP312
• 字数: 4324字
• 语种: 中文

摘要

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