Work place: ActiveEon Software Company, Valbonne, 06560, France
Research Interests: Distributed Computing, Data Structures and Algorithms, Analysis of Algorithms, Comparative Programming Language Analysis
Hlib Mykhailenko obtained his PhD degree in computer science from the University of Nice-Sophia Antipolis, Nice, France, in 2017.
Currently, he works as a Research and Developement Software Engineer at ActiveEon, Valbonne, France. His research interests include large-scale distributed programming, graph partitioning algorithms, and functional programming.
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