Универсальные конструкции в алгебраической спецификации распределенных систем

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