Cтеняшин А. Ю. Методи зборки прикладних систем з функціональних та інтерфейсних об'єктів зі стандартними та згенерованими даними

Дисертація присвячена розробленню й обґрунтуванню методів побудови програмних систем (ПС) з функціональних та інтерфейсних об'єктів, а також впровадженню концепції чотирьохрівневого проектування і тестування функціональних об'єктів. Базисом дослідження є методологія обміну даними між різнорідними об'єктами, до яких належать фундаментальні і загальні типи даних та генеровані типи, накопичені бібліотеках і сховищах "Big Data". Удосконалено концепції логіко-математичного проектування прикладних об'єктів і ПС шляхом узагальнення, структуризації, характеристики та поведінки об'єктів. Модель ПС ґрунтується на процесах життєвого циклу стандарту ISO/IEC 12207 та стандарту ISO/IEC 11404 загальних типів даних. Теоретичні концепції побудови об'єктної моделі (ОМ) з об'єктів-методів і інтерфейсів обґрунтовані низкою тверджень і теорем. Процес проектування ОМ реалізовано за допомогою програмних засобів підтримки операцій збирання компонентів повторного використання шляхом їх конфігурування з функціональними та інтерфейсними об'єктами у ПС. Створені об'єкти специфікуються мовою стандарту WSDL і зберігаються у репозиторії ІТКЗП для подальшого використання. Обрані функціональні об'єкти зв'язуються між собою даними, заданими в інтерфейсних об'єктах. Здійснено експериментальну реалізацію ПС на технологічних лініях за допомогою операцій зовнішньої, внутрішньої і еволюційної алгебри та тестування правильності як об'єктів, з можливістю їх збирання у ПС, так і самих ПС .