Checking Consistency of UML Class Diagram with Relational Model
Zhanhuai Li · Computer Engineering and Applications Journal · 2006
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.