Verifying static aspects of UML models using prolog

The Unified Modeling Language (UML) provides a number of diagrams to describe the modeling system from different perspectives, which contain overlapping information about the systems. However, it does not provide any means of meticulously checking consistencies among the overlapping elements. In this study, we propose an approach for consistency checking of UML class diagrams and object diagrams using Prolog. First we formalize the model elements based on metamodel and convert the models into Prolog facts. Then we define some consistency rules that are encoded into Prolog. The Prolog's reasoning engine automatically checks the consistencies of models. In addition, we provide interfaces to query models for properties, elements and submodels. The design errors can be effectively avoided and the correctness of code-generalization can be guaranteed according to our approach.