Алгебраическая спецификация распределенных систем с изменяющейся архитектурой

Развивается предложенный ранее метод обобщенной алгебраической спецификации распределенных систем на базе новой теоретико-категорной конструкции графалгебры. Основой графалгебраической спецификации служит ориентированный мультиграф, ребра которого представляют вычислительные операции, выполняемые в узлах системы, а вершины задают порты обмена данными между компонентами. Изменение архитектуры системы в ходе жизненного цикла приводит к изменению формы графа, алгоритмов вычислений и содержания обмена данными. Для формального описания таких изменений предложена техника типа трансформации графов для графалгебр. Введена новая теоретико-категорная конструкция гибких графалгебр, тесно связанная с известной монадой диаграмм. Описан функтор, представляющий конструирование категории гибких графалгебр по сигнатуре. Теоретические результаты проиллюстрированы примерами из области автоматического синтеза архитектуры нейронных сетей путем пошаговых трансформаций.