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