46458

Автор(ы): 

Автор(ов): 

1

Параметры публикации

Тип публикации: 

Статья в журнале/сборнике

Название: 

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

DOI: 

10.14357/19922264180112

Наименование источника: 

  • Информатика и ее применения

Обозначение и номер тома: 

Т. 12, вып. 1

Город: 

  • Москва

Издательство: 

  • ИПИ РАН

Год издания: 

2018

Страницы: 

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

Библиографическая ссылка: 

Ковалёв С.П. Теория категорий как математическая прагматика модельно-ориентированной системной инженерии // Информатика и ее применения. 2018. Т. 12, вып. 1. С. 95-104.