Кандидатська дисертація. Фабунмі Сунмаде Кунле. Формальні моделі клієнт-серверних систем у композиційних мовах паралельного програмування

Реєстраційний номер

0419U003028, Кандидатська дисертація

На здобуття

Кандидат фізико-математичних наук

Дата захисту

30-05-2019

Статус

Захищена

Назва роботи

Формальні моделі клієнт-серверних систем у композиційних мовах паралельного програмування

Здобувач

Фабунмі Сунмаде Кунле,

Керівник Буй Дмитро Борисович
Опонент Песчаненко Володимир Сергійович
Опонент Жежерун Олександр Петрович

Установа, організація, у вченій раді якої відбудеться/відбувся захист

Київський національний університет імені Тараса Шевченка

Опис

Основна модель паралельних систем, що досліджуються, є виконання з переключенням і взаємодією через спільну пам’ять (shared memory interleaving concurrency). Запропоноване розширення мови IPCL та моделі виконання (включаючи модель стану програми) є більш адекватним поданням для паралельних систем з динамічним породженням програм (що є найбільш поширеним у програмуванні). На підставі уточнення механізму породження паралельних програм побудовано нову композиційно-номінативну модель та обґрунтовано адекватність серверному середовищу класичних клієнт-серверних систем, а також – прагматичну повноту цієї моделі. Побудовано та досліджено клас композиційно-номінативних мов з композиціями породження та приєднання паралельних програм під час виконання, а також подано ряд базових функцій у цих мовах (атомарні та інші). Для побудованої моделі показано, за яких умов вона буде рівнопотужною з класом мов IPCL. Адаптовано метод верифікації властивостей у класі серверних програм на введених композиційних мовах. Сформульовано та доведено теорему, яка визначає умови, за яких введене розширення моделі еквівалентне існуючій моделі багатоекземплярного виконання у IPCL. Отримані результати впроваджено у навчальний процес, а також застосовано для доведення властивостей клієнт-серверних програмних систем.

Дата реєстрації

2019-06-20

Додано/оновлено в НРАТ

2020-04-03 / 2026-06-29