Формальні методи та інструментальні засоби забезпечення архітектурної цілісності програмних системах

Abstract

Мета роботи: розробка та обґрунтування формалізованого методу забезпечення архітектурної цілісності програмних систем на основі архітектурних шаблонів та статичних методів верифікації. Об’єктом дослідження є процеси проєктування, еволюції та супроводу архітектури програмних систем. Предметом дослідження є формальні методи, математичні моделі та інструментальні засоби верифікації архітектурної відповідності програмних систем. Результати дослідження В роботі запропоновано формалізований підхід до забезпечення архітектурної цілісності програмних систем на основі поєднання архітектурних шаблонів і методів статичної верифікації. Висновок Вдосконалено математичну модель перевірки архітектурної відповідності з використанням графової декомпозиції залежностей і розроблено класифікацію типових форм архітектурної ерозії для шаблону Model–View–Controller.