-
题名基于关系模型的UML类图一致性检验
被引量：4
- 1
-
-
作者
刘晓建
李战怀
-
机构
西北工业大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第26期13-16,28,共5页
-
基金
国家自然科学基金资助项目(编号:60573096)
-
文摘
UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要。论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题。实践表明,该方法能够有效的检查UML类图模型的一致性,发现需求分析中的错误和漏洞,在一定程度上保证了类图模型的正确性。
-
关键词
关系逻辑
类图
一致性
-
Keywords
relational calculus,class diagram,consistency
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
