Научный журнал ISSN 1684-8853 English
Информационно-управляющие системы
Рецензируемое издание

Кооперативное взаимодействие автоматных объектов

Авторы: Ф. А. Новиков , И. В. Афанасьева

Цель исследования: создание модели описания поведения, нацеленной на достижение более высоких показателей надежности и производительности при проектировании архитектуры и реализации реагирующих и распределенных систем по сравнению с традиционными методами. Побочной целью является создание удобного графического языка публикаций для описания параллельных алгоритмов и распределенных реагирующих систем. Методы: для описания поведения использованы диаграммы автомата (графы переходов состояний) унифицированного языка моделирования UML, расширенные специальными стереотипами, портами и интерфейсами. Описание предлагаемого графического языка проведено с помощью метамоделирования средствами диаграмм классов UML. Результаты: разработана модель поведения, использующая графы переходов состояний и относящаяся к парадигме автоматного программирования. Детально описаны свойства и преимущества предлагаемой модели в классе асинхронных распределенных реагирующих систем, а именно: доказана алгоритмическая полнота, определен наглядный графический язык, приведены демонстрационные примеры и указаны перспективы развития. Практическая значимость: представленная модель была успешно применена на практике при разработке специализированного программного обеспечения управления высокоточным научным оборудованием в наблюдательной астрономии, а также использована как высокоуровневое средство описания поведения в автоматном методе определения языков предметной области.

Ключевые слова — модель поведения, автоматное программирование, граф переходов состояний, унифицированный язык моделирования, диаграммы автомата, диаграммы классов, параллельное поведение, архитектура реагирующих систем

УДК: 004.434 doi:10.15217/issn1684-8853.2016.6.50
Журнал: 6(85)/2016
Рубрика: Программные и аппаратные средства