Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці
|
|
| Creator |
Glybovets, Mykola
Гломозда, Дмитро |
|
| 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://ekmair.ukma.edu.ua/handle/123456789/1868 |
|
| Language |
ua
|
|