Meta-validation of UML diagrams using OCL rules

As the UML(Unified Modeling Language) is semantically rich, we can widely describe the system that will be developed, but we cannot guarantee the correctness of the designed model. Therefore, it is important to minimize the error from verifying fitness of the model in early stage. Therefore in this paper, we propose a method for verifying the correctness and consistency of UML Diagrams using OCL(Object Constraint Language), a standard constraint language in UML, as a constraint language-based method Firstly we devise the metamodels that are described with component and relationship of 9 UML diagrams, we derive verifying rules from that for verifying the correctness and consistency, and then formally specify the rules with OCL for automatic verification. Finally we verify the rules with USE TOOL.