Meta-validation of UML structural diagrams and behavioral diagrams with consistency rules

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can widely describe the system that will be developed, but we cannot guarantee the consistency of the designed model. Therefore, it is important to minimize the error from verifying user model in early stage. Here, we propose an useful model for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL-shaped verification rules and meta-metamodels. Firstly, we devise meta-metamodel of the structural diagram and behavioral diagram, we derive verifying rules from each meta-metamodel for verifying the consistency, and then formally specify the rules with OCL for automatic verification. Finally, we verify the usefulness of the rule with a case study.