Formal Transformations
of The Information System Models
Andrey Boldak1, associated professor, PhD, & Maxim
Nevdashchenko1, post graduate student, & Ludmila
Ivanets1, assistant
1 Computer System Department, Faculty of Information
and Computing Technique, National Technical University of Ukraine “Kyiv
Polytechnic Institute”, Address: 37, Prospect Peremohy,
03056, Kyiv-56,
The information system design
is related to the application of different models: conceptual, designed and
implementation models. When we make a transition from design model to
implementation model, we have to consider the additional constraints associated
with application of the certain program technologies and instrumental vehicles
for development. The implementation efficiency is dependent of the successful
solving of such a habitual task.
The object of the article is
to formalize a mathematical machine for effective implementation to solve tasks
associated with the equivalent model conversions within the object-oriented
approach to the information system design.
The concepts of class and
relations between classes that correspond with the terms of object-oriented
approach to the information system design have been formalized. Classes and operations
defined in them represent the algebraic system, which allows the efficient
solution of the tasks requiring bijective
transformations of model within the object-oriented approach to the information system design has been exposed. The examples of
solving some typical tasks using the suggested mathematical machine have been
exposed.
This formalism also can be
used for effective transformations of ontologies,
based on “is a” and “part of” relations, with a purpose to transform metadata
from one form to another.
Keywords: information system
model, bijective transformation, software design
automation.