Чайников, С. И.Солодовников, А. С.2020-06-172020-06-172016Чайников С. И. Моделирование архитектуры и последовательности взаимодействия компонентов программного обеспечения и нформационной системы / С. И. Чайников, А. С. Солодовников // Радиоэлектроника и информатика : науч.-техн. журн. – 2016. – Вып. 2. – С. 66–72.http://openarchive.nure.ua/handle/document/12210Предлагается графовая модель архитектуры программного обеспечения информационной системы и автоматная модель проверки выполнения ограничений к нему. Графовая модель описывает архитектуру с избыточной функциональностью и используется для конфигурирования рабочих мест на основе требований конечного пользователя. Выполняемость требований проверяется на базе автоматной модели, которая также используется для управления вычислительными процессами.ruграфовая модельконфигурирование рабочих меступравление вычислительными процессамиArticle