Checking Inconsistencies in UML Design
Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Roman Kovalenko · 2012
The paper presents a simple method and software implementation for checking inconsistencies in UML design and the general method of UML design verification using its own model and first order predicate logic to specify relations between components of the design. Unlike various existing methods the proposed ones are focused mostly on cross-diagram inconsistencies and strong adhering to object-oriented principles. The model proposed for the general method is based on the unified graph representation of UML diagrams.