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

Simple item page
dc.contributor.authorГлибовець, Миколаuk
dc.contributor.authorГломозда, Дмитроuk
dc.date.accessioned2012-12-11T10:18:13Z
dc.date.available2012-12-11T10:18:13Z
dc.date.issued2007
dc.description.abstractМетою даної роботи буде вирішення питань, пов'язаних із розв'язанням задачі верифікації координаційного механізму для колаборативної системи програмної підтримки мережної співпраці. Запропонована в попередніх роботах мережна модель колаборативної системи базується на структурі колаборативного середовища, складовими елементами якої є сеанси, користувачі, спільні ресурси та рівні, за допомогою яких реалізується рівневий протокол доступу до ресурсів. До складу колаборативної системи входять N користувачів, М сеансів, L ресурсів та координаційний механізм — сукупність позицій та переходів мережі Петрі, що зв'язує користувачів, сеанси та ресурси. В нашій моделі це блок, що включає в себе контролери рівнів (кожному рівню відповідає один ресурс) та механізм забезпечення взаємовиключення при створенні сеансу.uk_UA
dc.identifier.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.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/1868
dc.language.isoukuk_UA
dc.statuspublished earlieruk_UA
dc.subjectверифікація
dc.subjectкоординаційний механізм
dc.subjectколаборативні системи
dc.subjectмережна співпраця
dc.titleСкладність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраціuk_UA
dc.typeConference materialsuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Glybovets_Hlomozda_Skladnist zadachi veryfikatsii.pdf
Size:
769.95 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.95 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Кафедра інформатики