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

【Abstract】 UML class diagram,as one of the important UML model elements,takes an essential role in the requirement analysis.This paper explores the semantic consistency problem of UML class diagram,and proposes an approach to automatically check the consistency of a class diagram.Our approach is based on an extended relational calculus,and reduces the consistency problem to a satisfiability problem of relational formulae.Our experience shows that this approach can be used to effectively check the consistency of a class diagram,detect the errors and bugs in a requirement analysis,and guarantee the correctness of class model.更多还原