Публікація: Інформаційна технологія синтезу програмної архітектури на основі графової моделі
Завантаження...
Дата
2017
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Дисертаційна робота присвячена вирішенню науково-практичного завдання – розробці моделі, методів та інформаційної технології структурного синтезу програмної архітектури інформаційної системи в умовах вимог, що змінюються. У роботі удосконалено графову ярусно-паралельну модель програмної архітектури інформаційної системи, яка використовується для її адаптації до вимог кінцевого користувача, що змінюються еволюційно.
На основі графової ярусно-паралельної моделі запропоновано методи зниження структурної і функціональної складності програмного забезпечення інформаційної системи, до яких відносяться метод об'єднання вершин ярусно-паралельної графової моделі програмної архітектури та метод оцінки функціональної складності програмного забезпечення інформаційної системи. Також запропоновано автоматний метод перевірки виконання обмежень до програмного забезпечення, що формується.
На основі розроблених методів запропонована інформаційна технологія та програмне забезпечення структурного синтезу програмної архітектури інформаційної системи.
The thesis is devoted to solving scientific and practical task – developing model, methods and informational technology of structural synthesis of information system software architecture in terms of changing end-user requirements. The work improved multilevel graph model of information system software architecture that is used to adapt the software architecture to the changeable requirements of the end-user.
Based on the multilevel graph model of information system software architecture, author proposed methods for reducing the structural and functional complexity of information system software architecture, including the method of union nodes of graph model and method for assessing the functional complexity of software architecture.
Also author proposed method of automatic verification of constraints to software that is formed.
Based on the developed methods, author proposed information technology and instrumental software for structural synthesis of information system software architecture.
Опис
Ключові слова
інформаційна технологія, графова модель, структурний синтез, структурна складність, функціональна складність, кінцевий автомат, змінні вимоги, темпоральная логіка, information technology, graph model, structural synthesis, structural complexity and functional complexity, finite state machine, changeable requirements, temporal logic
Бібліографічний опис
Солодовніков А. С. Інформаційна технологія синтезу програмної архітектури на основі графової моделі : автореф. дис. ... канд. техн. наук : 05.13.06 "Інформаційні технології" / А. С. Солодовніков ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2017. – 22 с.