Застосування функціональної та реляційної моделей в об’єктно-орієнтованому програмуванні

Скорочена інформація про документ
dc.contributor.authorСоколов, Володимир Володимирович
dc.contributor.authorSokolov, Volodymyr
dc.date.accessioned2017-12-26T12:33:29Z
dc.date.available2017-12-26T12:33:29Z
dc.date.issued2017
dc.description.abstractenThe paper presents the results of research and practical approbation of formal methods for describing object-oriented programs suitable for automatic generation of programs text to the programming language. As formal models, the functional and relational models are used. The functional model represents the program as a scheme of the connection of functional atomic objects that are capable of direct interaction by forming dynamic connections and automatic computations, which can be represented graphically. In this case, the connection scheme of objects is considered as a scheme of task solving. It is shown that the formalization of the task solution scheme, rather than the entire programming paradigm, makes the process of program creating more suitable for the practice. The requirements for atomic objects are determined as such, which form the elemental basis of the object-oriented program. The relational model represents the object as a virtual relationship, the scheme which is specified by the class that implements the functional dependence of non-key attributes from the key ones by their calculations, which makes it possible to apply relational operations to describe the scheme of task solving. The relational model allows using a language which is similar to the structured query language of databases, to describe the scheme of solving the task and to perform it automatically. It is shown that the functional and relational models are suitable for graphical representation of the task solution scheme and are sufficiently expressive for direct generation of programs. In fact, the developed models allow us to increase the process of creating object-oriented programs to a higher level, focusing on the structure of the program, rather than on its components, and to eliminate the lack of methods for presenting programs. The programming technology of active dynamic connections of objects has been used as a basis for practical implementation.uk
dc.description.abstractruВ работе представлены результаты исследований и практической апробации формальных методов описания объектно-ориентированных программ, пригодных для автоматической генерации текста программ на языке программирования. В качестве формальных моделей использовано функциональную и реляционную модели. Функциональная модель представляет программу как схему соединения функциональных атомарных объектов, способных к непосредственному взаимодействию путем образования динамических соединений и автоматических вычислений, которая может представляться в графической форме. При этом схема соединения объектов рассматривается как схема решении задачи. Показано, что формализация именно схемы решения задачи, а не всей парадигмы программирования, делает процесс создания программы больше приближенным к практике. Определены требования к атомарным объектам как таковым, что составляют элементную базу объектно-ориентированной программы. Реляционная модель представляет объект как виртуальное отношение, схема которого задается классом, который реализует функциональную зависимость неключевых атрибутов от ключевых путем их вычислений, что позволяет применять реляционные операции для описания схемы решении задачи. Реляционная модель позволяет использовать язык, подобный структурированному языку запросов к базам данных, для описания схемы решения задачи и ее автоматического выполнения. Показано, что функциональная и реляционная модели пригодны для графического представления схемы решения задачи и являются достаточно выразительными для непосредственной генерации программ. Фактически, разработанные модели позволяют поднять процесс создания объектно-ориентированных программ на уровень выше, сосредоточиться на структуре программы, а не на ее составляющих, и дополнить пробел в существующих методах представления программ. В качестве основы для практической реализации использована технология программирования активных динамических соединений объектов.uk
dc.description.abstractukВ роботі представлено результати досліджень та практичної апробації формальних методів опису об’єктно-орієнтованих програм, придатних для автоматичної генерації тексту програм на мові програмування. В якості формальних моделей обрано функціональну та реляційну моделі. Функціональна модель представляє програму як схему сполуки функціональних атомарних об’єктів, здатних до безпосередньої взаємодії шляхом утворення динамічних сполук та автоматичних обчислень, яка може представлятися у графічній формі. При цьому схема з’єднання об’єктів розглядається як схема розв’язку задачі. Показано, що формалізація саме схеми розв’язку задачі, а не всієї парадигми програмування, робить процес створення програми більш наближеним до практики. Визначені вимоги до атомарних об’єктів як таких, що складають елементну базу об’єктно-орієнтованої програми. Реляційна модель представляє об’єкт як віртуальне відношення, схема якого задається класом, який реалізує функціональну залежність неключових атрибутів від ключових шляхом їх обчислень, що дозволяє застосовувати реляційні операції для опису схеми розв’язку задачі. Реляційна модель дозволяє використовувати мову, подібну до структурованої мови запитів до баз даних, для опису схеми розв’язку задачі та її автоматичного виконання. Показано, що функціональна та реляційна моделі придатні для графічного представлення схеми розв’язку задачі і є достатньо виразними для безпосередньої генерації програм. Фактично, розроблені моделі дозволяють підняти процес створення об’єктно-орієнтованих програм на рівень вище, зосередитись на структурі програми, а не на її складових, і доповнити прогалину в існуючих методах представлення програм. В якості основи для практичної реалізації використана технологія програмування активних динамічних сполук об’єктів.uk
dc.format.pagerangePp. 54-63uk
dc.identifier.citationСоколов В. Застосування функціональної та реляційної моделей в об'єктно-орієнтованому програмуванні / Володимир Соколов // Information Technology and Security. – 2017. – Vol. 5, Iss. 1 (8). – Pp. 54–63. – Bibliogr.: 8 ref.uk
dc.identifier.doihttps://doi.org/10.20535/2411-1031.2017.5.1.120559
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/21498
dc.language.isoukuk
dc.publisherInstitute of Special Communication and Information Protection of National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”uk
dc.publisher.placeKyivuk
dc.sourceInformation Technology and Security : Ukrainian research papers collection, 2017, Vol. 5, Iss. 1 (8)uk
dc.subjectоб’єктно-орієнтоване програмуванняuk
dc.subjectформалізація програмuk
dc.subjectреляційна модельuk
dc.subjectфункціональна модельuk
dc.subjectактивні динамічні сполуки об’єктівuk
dc.subjectobject-oriented programminguk
dc.subjectprograms formalizationuk
dc.subjectrelational modeluk
dc.subjectfunctional modeluk
dc.subjectactive dynamic connections of objectsuk
dc.subjectобъектно-ориентированное программированиеuk
dc.subjectформализация программuk
dc.subjectреляционная модельuk
dc.subjectфункциональная модельuk
dc.subjectактивные динамические соединения объектовuk
dc.subject.udc004(94+41)uk
dc.titleЗастосування функціональної та реляційної моделей в об’єктно-орієнтованому програмуванніuk
dc.title.alternativeApplication of functional and relational models in objectoriented programmingen
dc.title.alternativeПрименение функциональной и реляционной моделей в объектно-ориентированном программированииru
dc.typeArticleuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
ITS2017.5.1(8)-06.pdf
Розмір:
496.85 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
7.74 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Information Technology and Security, Vol. 5, Iss. 1 (8)