Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання

Loading...
Thumbnail Image
Date
2006
Authors
Глибовець, Микола
Гломозда, Дмитро
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
The problem of building a formal model of coordination system for a collaboration environment is considered in the article. The automata model described with Petri nets is presented. The study of system’s boundedness, preservation and liveness is conducted on the basis of the net model.
В статті розглядається задача побудови формальної моделі координаційної системи мережі для колаборативного середовища. Запропоновано автоматну модель, описану за допомогою мереж Петрі. На основі мережної моделі здійснено дослідження системи на обмеженість, збереження та активність.
Description
Keywords
комп’ютерна система, мережева модель, програмування
Citation
Глибовець М. М. Формальна модель координаційно-орієнтованої мережі для колаборативної системи навчання / М. М. Глибовець, Д. К. Гломозда // Проблеми програмування : науковий журнал. - 2006. - № 2-3 : cпеціальний випуск. - С. 402-412.