基于关系模型的UML类图一致性检验

• 作者: 刘晓建 李战怀
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 关系逻辑 类图 一致性
• 年，卷（期）: 2006,（26）
• 所属期刊栏目: 博士论坛
• 页码范围: 13-16,28
• 页数: 5页
• 分类号: TP311
• 字数: 6574字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.26.005

摘要

UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要.论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法.该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题.实践表明,该方法能够有效的检查UML类图模型的一致性,发现需求分析中的错误和漏洞,在一定程度上保证了类图模型的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李战怀	西北工业大学计算机学院	254	2139	21.0	35.0
2	刘晓建	西北工业大学计算机学院	4	30	3.0	4.0