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

摘要：

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

关键词：关系逻辑、类图、一致性

所属期刊栏目：42

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60573096

在线出版日期：2006-10-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：13-16,28