Імплементація формальних моделей оптимізації методів побудови адаптивних розподілених систем

Abstract

Кваліфікаційна робота присвячена виконанню імплементації формальних моделей оптимізації методів побудови адаптивних розподілених систем шляхом розробки шаблонів специфікації поведінки для моделювання контурів зворотного зв’язку для реалізації адаптивності програмних рішень. В першому розділі проаналізовано формальні методи досягнення високої адаптивності розподілених програмних систем. Наведено основні принципи самоадаптації в програмних системах, описана еталонна модель MAPE-K, трирівнева модель архітектури. Виконано дослідження якісних властивостей високої адаптивності програмних систем, наведені формальні методи в процесах адаптації. В другому розділі наведені формальні методи оптимізації та моделі верифікації рівня адаптивності систем, здійснено опис передумов використання самоадаптивного підходу та техніки MAPE-K. Виконано опис процесу імітаційного моделювання для дослідження надійності мобільного додатку, розглянуто сценарій використання мобільної платформи з елементами високої адаптивності з додаванням самоадаптивного шару. Запропоновані процеси самоадаптації з використанням верифікованих циклів MAPE-K. В третьому розділі побудовано формальні шаблони забезпечення адаптивності розподіленої системи, розглянуто цільовий домен для застосування шаблонів високо адаптивних систем на прикладі мобільного додатку та логістичної роботизованої системи. Виконано розробку шаблонів специфікації поведінки для моделювання контурів зворотного зв’язку для реалізації адаптивності.