Description Logic Application for UML Class Diagrams Optimization

Maxim Sergievskiy

doi:10.14569/ijacsa.2017.080134

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.

Highlights

UML has recently become the standard, widely applied method for software design and analysis [1]
The semantics of a description logics (DL) is defined by interpretation of its atomic concepts as sets of objects chosen from a fixed set, and atomic roles as sets of pairs, i.e. binary relations on the domain
This study describes the new approach to optimizing software systems at the design stage

Summary

INTRODUCTION

UML has recently become the standard, widely applied method for software design and analysis [1]. That is, checking whether the CD contains structural errors, in particular, incompatible components whether redundancy, how CD optimal from the standpoint of subsequent implementation difficult It is common, that possible mistakes at the design stage often migrate to the implementation phase leading to the need for additional debugging. There is an approach based on the use of design patterns [2], which allows applying certain structural solutions in the initial phase of software development. In this case, you can immediately focus on the use of a number of standard patterns, not to deviate from methodology associated with them.

FORMALIZATION OF CLASS DIAGRAMS

DESCRIPTION LOGIC

PRESENTATION OF CLASS DIAGRAMS IN DESCRIPTION LOGIC

EXAMPLES OF OPTIMIZATION

The pattern that allows a transition from ternary association to binary

CONCLUSION