Публікація: Моделирование архитектуры и последовательности взаимодействия компонентов программного обеспечения и нформационной системы
Завантаження...
Дата
2016
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Предлагается графовая модель архитектуры программного обеспечения информационной системы и автоматная модель проверки выполнения ограничений к нему. Графовая модель описывает архитектуру с избыточной
функциональностью и используется для конфигурирования рабочих мест на основе требований конечного пользователя. Выполняемость требований проверяется на базе автоматной модели, которая также используется для управления вычислительными процессами.
Опис
Ключові слова
графовая модель, конфигурирование рабочих мест, управление вычислительными процессами
Бібліографічний опис
Чайников С. И. Моделирование архитектуры и последовательности взаимодействия компонентов программного обеспечения и нформационной системы / С. И. Чайников, А. С. Солодовников // Радиоэлектроника и информатика : науч.-техн. журн. – 2016. – Вып. 2. – С. 66–72.