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

Checking Consistency of UML Class Diagram with Relational Model

作　　者：刘晓建[1] 李战怀[1] 

机构地区：[1]西北工业大学计算机学院,西安710072

出　　处：《计算机工程与应用》2006年第26期13-16,28,共5页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(编号:60573096)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]