王智广,王 雷,李聪莹.基于矩阵理论的UML类图形式化描述与检测[J].中南民族大学学报自然科学版,2017,(2):109-114,137
基于矩阵理论的UML类图形式化描述与检测
Formal Description and Checking of UML Class Diagram Based on Matrix Theory
  
DOI:
中文关键词: 二元关系  矩阵  UML类图  形式化描述  检测
英文关键词: binary relation  matrix  UML class diagram  formal description  checking
基金项目:国家自然科学基金资助项目(60803159),国家“973”计划项目(2013CB228602)
作者单位
王智广1,2,王 雷1,* ,李聪莹2 1 中国矿业大学(北京) 机电与信息工程学院北京 100083;2 中国石油大学(北京) 地球物理与信息工程学院北京 102249 
摘要点击次数: 36
全文下载次数: 46
中文摘要:
      针对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.
查看全文   查看/发表评论  下载PDF阅读器
关闭