Work place: Wall Street Systems Software Company, Valbonne, 06560, France
Research Interests: Computer systems and computational processes, Data Structures and Algorithms, Formal Methods, Formal Semantics, Formal Languages
Oleksandra Kulankhina obtained her PhD degree in Computer Science from the University of Nice-Sophia Antipolis, Nice, France, in 2016.
Currently, she works as a Research and Developement Software Engineer at Wall Street Systems, Valbonne, France.
Her research interests include distributed systems, 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