Abstract: Most of known technologies of object-oriented developments are UML-based; particularly widely used class diagrams that serve to describe the model of a software system, reflecting the regularities of the domains. CASE tools used for object-oriented developments, often lack verification and optimization functions of diagrams. This article will discuss one of the ways to present class diagram in the form of statements description logic, and then perform their verification, and optimization. Optimization process is based on design patterns and anti-patterns. We will show that some transformations could be done automatically, while in other cases suboptimal models need to be adjusted by a designer.

Maxim Sergievskiy, “Description Logic Application for UML Class Diagrams Optimization” International Journal of Advanced Computer Science and Applications(IJACSA), 8(1), 2017. http://dx.doi.org/10.14569/IJACSA.2017.080134

@article{Sergievskiy2017,
title = {Description Logic Application for UML Class Diagrams Optimization},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2017.080134},
url = {http://dx.doi.org/10.14569/IJACSA.2017.080134},
year = {2017},
publisher = {The Science and Information Organization},
volume = {8},
number = {1},
author = {Maxim Sergievskiy}
}