Work place: V.N. Karazin Kharkiv National University, Kharkiv, 61000, Ukraine
Research Interests: Computational Science and Engineering, Software Design, Formal Methods, Formal Semantics, Formal Languages
Iryna Zaretska obtained her PhD degree in Mathematics from the V. N. Karazin Kharkiv National University, Ukraine, in 1990.
Currently, she works as a professor of V. N. Karazin Kharkiv National University, School of Mathematics and Informatics, Department of Theoretical and Applied Computer Science.
Her research interests include software design, formal verification, and model-driven engineering.
DOI: https://doi.org/10.5815/ijitcs.2018.09.06, Pub. Date: 8 Sep. 2018
The paper presents a method and tools for consistency checking in UML design of an object-oriented 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 con-sistency checking are discussed and compared.[...] Read more.
Subscribe to receive issue release notifications and newsletters from MECS Press journals