eKMAIR

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

Show simple item record

dc.contributor.author Глибовець, Микола uk
dc.contributor.author Гломозда, Дмитро uk
dc.date.accessioned 2012-12-11T10:18:13Z
dc.date.available 2012-12-11T10:18:13Z
dc.date.issued 2007
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.uri http://ekmair.ukma.edu.ua/handle/123456789/1868
dc.description.abstract Метою даної роботи буде вирішення питань, пов'язаних із розв'язанням задачі верифікації координаційного механізму для колаборативної системи програмної підтримки мережної співпраці. Запропонована в попередніх роботах мережна модель колаборативної системи базується на структурі колаборативного середовища, складовими елементами якої є сеанси, користувачі, спільні ресурси та рівні, за допомогою яких реалізується рівневий протокол доступу до ресурсів. До складу колаборативної системи входять N користувачів, М сеансів, L ресурсів та координаційний механізм — сукупність позицій та переходів мережі Петрі, що зв'язує користувачів, сеанси та ресурси. В нашій моделі це блок, що включає в себе контролери рівнів (кожному рівню відповідає один ресурс) та механізм забезпечення взаємовиключення при створенні сеансу. uk_UA
dc.language.iso uk uk_UA
dc.subject верифікація
dc.subject координаційний механізм
dc.subject колаборативні системи
dc.subject мережна співпраця
dc.title Складність задачі верифікації координаційного механізму системи програмної підтримки мережної співпраці uk_UA
dc.type Conference materials uk_UA
dc.status published earlier uk_UA


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics