Теоретико-категорный подход к проектированию вычислительных систем

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