Oleksandra Kulankhina

Work place: Wall Street Systems Software Company, Valbonne, 06560, France

E-mail: oleksandra.kulankhina@gmail.com

Website:

Research Interests: Computer systems and computational processes, Data Structures and Algorithms, Formal Methods, Formal Semantics, Formal Languages

Biography

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.

Author Articles
Consistency of UML Design

By Iryna Zaretska Oleksandra Kulankhina Hlib Mykhailenko Tamara Butenko

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.
Other Articles