система управління, система управления, control system ; забезпечення програмне, обеспечение программное, software ; Інтернет-ресурс, Интернет- ресурс ; мережі Петрі, сети Петри ; мережа обчислювальна, сеть вычислительная ; автореферат (текст) ; забезпечення математичне, обеспечение математическое ; Техніка, с.г., медицина

Дисертаційна робота присвячена створенню моделі програмної системи підтримки асинхронної дистанційної взаємодії в мережі Інтернет (ПСПАДВІ) та побудові на її основі діючого прототипу ПСПАДВІ.

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

• ББК науковий // Программное обеспечение глобальных информационных сетей