Verifying the consistency of UML models

The Unified Modelling Language (UML) is the most used Object Management Group specification and is the de-facto standard modeling language for object-oriented design and documentation. When UML diagrams convey contradicting or conflicting semantics, the diagrams are said to be inconsistent. Such inconsistencies may be a source of faults in software systems. It is therefore paramount that they get detected (through a sort of verification activity), analyzed and fixed. This paper presents the steps to verify, with OCL constraints, the consistency of UML models. To carry out the verification of UML consistency models, the following steps were identified: 1) transformation of UML consistency rules into OCL constraints; 2) generation of a plugin in Papyrus that include the OCL constraints; 3) importation into Papyrus (by using EMF) of UML models found in ReMoDD and UML Repository; 4) execution of the plugin with the OCL constraints against the imported UML models.