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

Развивается предложенный ранее математический аппарат на базе теории категорий, который позволяет формально описывать и строго исследовать процедуры применения моделей в инженерной деятельности, составляющие прагматику модельно-ориентированной системной инженерии (Model-Based Systems Engineering, MBSE). В основе аппарата лежит математическое представление сборочных чертежей (мегамоделей систем) диаграммами в категориях, объектами которых служат модели, а морфизмы представляют действия по сборке моделей систем из моделей компонентов. Предложены, исследованы и проиллюстрированы теоретико-категорные методы решения прямых и обратных прагматических задач сборки систем. Выявлена ключевая роль монады диаграмм. Особое внимание уделено задаче восстановления конфигурации заданной системы с учетом технологических ограничений, накладываемых на способы и процедуры сборки. Приведено сопоставление ряда ключевых понятий системной инженерии конструкциям теории категорий.