Парфірова Т. С. Експлікативне програмування у макрокомпозиційних середовищах

Дисертація присвячена дослідженню проблеми адекватного теоретичного відображення проектів програмних систем на концептуально-єдиній основі. Метою дисертаційної роботи є побудова і дослідження дескриптологічно коректної, експліцитної моделі проекту програмної системи, що допускає взаємодоповнення з традиційними засобами представлення проектів і придатної для застосування до предметних областей. Вдосконалено відомий з наявних робіт підхід до розуміння феномену проекту та способу представлення проектів: відношення, що утворюють структуру проекту, конкретизовані як частковий випадок сутесутнісних відношень. Показано зв'язок між адаптивністю програмних систем та їх відкрито-замкненістю. Запропоновано новий підхід до експлікації взаємодій підсистем програмної системи у формі тричленної моделі, здатної до саморозгортання. Досліджено специфічні риси проектів, спільні для різних їх типів, та вперше вказано на ациклічність як сутнісну характеристику; це дозволило сформулювати природну за алгебраїчними властивостями модель систем обробки даних. Побудовано нові моделі структури і поведінки ациклічних систем обробки даних та вперше досліджено їх алгебраїчні властивості. Запропоновано погляд на системи для автоматизації навчальної діяльності з точки зору сутнісної платформи як на системи, що базуються на ациклічних взаємодіях сутностей. У дисертації наведено теоретичне узагальнення та нове вирішення наукової задачі, що полягає в розробці адекватної моделі проектів програмних систем та методики її застосування до конкретних різновидів систем.