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

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