Пошук академічних текстів

Інформація × Реєстраційний номер 0419U003028, Кандидатська дисертація На здобуття Кандидат фізико-математичних наук Дата захисту 30-05-2019 Статус Запланована Назва роботи Формальні моделі клієнт-серверних систем у композиційних мовах паралельного програмування Здобувач Фабунмі Сунмаде Кунле, Керівник Буй Дмитро Борисович Опонент Песчаненко Володимир Сергійович Опонент Жежерун Олександр Петрович Опис Основна модель паралельних систем, що досліджуються, є виконання з переключенням і взаємодією через спільну пам’ять (shared memory interleaving concurrency). Запропоноване розширення мови IPCL та моделі виконання (включаючи модель стану програми) є більш адекватним поданням для паралельних систем з динамічним породженням програм (що є найбільш поширеним у програмуванні). На підставі уточнення механізму породження паралельних програм побудовано нову композиційно-номінативну модель та обґрунтовано адекватність серверному середовищу класичних клієнт-серверних систем, а також – прагматичну повноту цієї моделі. Побудовано та досліджено клас композиційно-номінативних мов з композиціями породження та приєднання паралельних програм під час виконання, а також подано ряд базових функцій у цих мовах (атомарні та інші). Для побудованої моделі показано, за яких умов вона буде рівнопотужною з класом мов IPCL. Адаптовано метод верифікації властивостей у класі серверних програм на введених композиційних мовах. Сформульовано та доведено теорему, яка визначає умови, за яких введене розширення моделі еквівалентне існуючій моделі багатоекземплярного виконання у IPCL. Отримані результати впроваджено у навчальний процес, а також застосовано для доведення властивостей клієнт-серверних програмних систем. Дата реєстрації 2019-05-30 Додано в НРАТ 2020-04-03 Закрити