Consistency of UML Design
Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Tamara Butenko · International Journal of Information Technology and Computer Science · 2018
The paper presents a method and tools for consistency checking in UML design of an objectoriented software system.The proposed method uses graph representation of UML diagrams and first-order predicate logic to specify consistency rules mostly on the cross-diagram level.Classification of consistency rules is presented.Two approaches to implementation of consistency checking are discussed and compared.