Search academic texts

Information × Registration Number 0419U003028, Candidate dissertation Status Кандидат фізико-математичних наук Date 30-05-2019 popup.evolution o Title Formal Methods for Client-Server Systems in Compositional Languages for Parallel Programming Author Fabunmi Sunmade K., popup.head Bui Dmytro B. popup.opponent Peschanenko Volodymyr S. popup.opponent Zhezherun Oleksandr P. Description Основна модель паралельних систем, що досліджуються, є виконання з переключенням і взаємодією через спільну пам’ять (shared memory interleaving concurrency). Запропоноване розширення мови IPCL та моделі виконання (включаючи модель стану програми) є більш адекватним поданням для паралельних систем з динамічним породженням програм (що є найбільш поширеним у програмуванні). На підставі уточнення механізму породження паралельних програм побудовано нову композиційно-номінативну модель та обґрунтовано адекватність серверному середовищу класичних клієнт-серверних систем, а також – прагматичну повноту цієї моделі. Побудовано та досліджено клас композиційно-номінативних мов з композиціями породження та приєднання паралельних програм під час виконання, а також подано ряд базових функцій у цих мовах (атомарні та інші). Для побудованої моделі показано, за яких умов вона буде рівнопотужною з класом мов IPCL. Адаптовано метод верифікації властивостей у класі серверних програм на введених композиційних мовах. Сформульовано та доведено теорему, яка визначає умови, за яких введене розширення моделі еквівалентне існуючій моделі багатоекземплярного виконання у IPCL. Отримані результати впроваджено у навчальний процес, а також застосовано для доведення властивостей клієнт-серверних програмних систем. Registration Date 2019-05-30 popup.nrat_date 2020-04-03 Close