агентні технології, агентные технологии ; мережі Петрі, сети Петри, Petri nets ; моделювання, моделирование, modeling, simulation ; система управління якістю, СУЯ, система управления качеством, СУК ; тотальні алгоритми, тотальные алгоритмы

В дисертаційній роботі створюється модель програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет (ПСПАДВІ) та побудові на її основі діючого прототипу ПСПАДВІ. Модель ПСПАДВІ призначена для дослідження таких систем та формулювання рекомендацій щодо принципів їх створення та від лагодження. Побудова такої моделі є актуальною задачею. Запропоновано формальну модель ПСПАДВІ мовою мереж Петрі на основі протоколу рівневого контролю та доведено її придатність для моделювання ПСПАДВІ із довільною кількістю користувачів, сеансів та ресурсів. Сформульовано задачу верифікації координаційного механізму ПСПАДВІ та показано, що вона належить класу co-NP-повних задач. Доведено тотальність алгоритму координації дій учасників спільної роботи в разі виникнення помилок. На основі запропонованої моделі створено прототип ПСПАДВІ із використанням агент них технологій та програмну систему підтримки "Віртуального університету" з вбудованим координаційним механізмом, який реалізує принципи рівневого контролю.

• УДК // Комп’ютерний зв’язок. Комп’ютерні мережі