Глибовець, МиколаГломозда, Дмитро2012-12-112012-12-112007Глибовець М. М. Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці / Глибовець Микола Миколайович, Гломозда Дмитро Костянтинович // The Fourth International Conference "Theoretical and Applied Aspects of Program Systems Development" (TAAPSD'2007): abstracts (Ukraine, Berdyansk, 4-9 september 2007) / голова орг. комітету М.М. Глибовець. - К. : Пульсари, 2007. - С. 58-62.https://ekmair.ukma.edu.ua/handle/123456789/1868Метою даної роботи буде вирішення питань, пов'язаних із розв'язанням задачі верифікації координаційного механізму для колаборативної системи програмної підтримки мережної співпраці. Запропонована в попередніх роботах мережна модель колаборативної системи базується на структурі колаборативного середовища, складовими елементами якої є сеанси, користувачі, спільні ресурси та рівні, за допомогою яких реалізується рівневий протокол доступу до ресурсів. До складу колаборативної системи входять N користувачів, М сеансів, L ресурсів та координаційний механізм — сукупність позицій та переходів мережі Петрі, що зв'язує користувачів, сеанси та ресурси. В нашій моделі це блок, що включає в себе контролери рівнів (кожному рівню відповідає один ресурс) та механізм забезпечення взаємовиключення при створенні сеансу.ukверифікаціякоординаційний механізмколаборативні системимережна співпрацяConference materials