A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Consistency of UML Design
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