Consistency of UML Design

Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Tamara Butenko
2018 International Journal of Information Technology and Computer Science  
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.
doi:10.5815/ijitcs.2018.09.06 fatcat:ymn5xaos55ex7phe77j6qd7aom