Запис Детальніше

Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці

eKMAIR

Переглянути архів Інформація
 
 
Поле Співвідношення
 
Title Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці
 
Creator Глибовець, Микола
Глибовец, Николай
Glybovets, Mykola
Гломозда, Дмитро
Hlomozda, Dmytro
 
Subject верифікація
координаційний механізм
колаборативні системи
мережна співпраця
 
Description Метою даної роботи буде вирішення питань, пов'язаних із розв'язанням задачі верифікації координаційного механізму для колаборативної системи програмної підтримки мережної співпраці. Запропонована в попередніх роботах мережна модель колаборативної системи базується на структурі колаборативного середовища, складовими елементами якої є сеанси, користувачі, спільні ресурси та рівні, за допомогою яких реалізується рівневий протокол доступу до ресурсів. До складу колаборативної системи входять N користувачів, М сеансів, L ресурсів та координаційний механізм — сукупність позицій та переходів мережі Петрі, що зв'язує користувачів, сеанси та ресурси. В нашій моделі це блок, що включає в себе контролери рівнів (кожному рівню відповідає один ресурс) та механізм забезпечення взаємовиключення при створенні сеансу.
 
Date 2012-12-11T10:18:13Z
2012-12-11T10:18:13Z
2007
 
Type Conference materials
 
Identifier Глибовець М. М. Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці / Глибовець Микола Миколайович, Гломозда Дмитро Костянтинович // The Fourth International Conference "Theoretical and Applied Aspects of Program Systems Development" (TAAPSD'2007): abstracts (Ukraine, Berdyansk, 4-9 september 2007) / голова орг. комітету М.М. Глибовець. - К. : Пульсари, 2007. - С. 58-62.
http://www.ekmair.ukma.edu.ua/handle/123456789/1868
 
Language ua