Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці
Loading...
Date
2007
Authors
Глибовець, Микола
Гломозда, Дмитро
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Метою даної роботи буде вирішення питань, пов'язаних із розв'язанням задачі верифікації координаційного механізму для колаборативної системи програмної підтримки мережної співпраці. Запропонована в попередніх роботах мережна модель колаборативної системи базується на структурі колаборативного середовища, складовими елементами якої є сеанси, користувачі, спільні ресурси та рівні, за допомогою яких реалізується рівневий протокол доступу до ресурсів. До складу колаборативної системи входять N користувачів, М сеансів, L ресурсів та координаційний механізм — сукупність позицій та переходів мережі Петрі, що зв'язує користувачів, сеанси та ресурси. В нашій моделі це блок, що включає в себе контролери рівнів (кожному рівню відповідає один ресурс) та механізм забезпечення взаємовиключення при створенні сеансу.
Description
Keywords
верифікація, координаційний механізм, колаборативні системи, мережна співпраця
Citation
Глибовець М. М. Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці / Глибовець Микола Миколайович, Гломозда Дмитро Костянтинович // The Fourth International Conference "Theoretical and Applied Aspects of Program Systems Development" (TAAPSD'2007): abstracts (Ukraine, Berdyansk, 4-9 september 2007) / голова орг. комітету М.М. Глибовець. - К. : Пульсари, 2007. - С. 58-62.