Аннотация:
Развивается предложенный ранее математический аппарат на базе теории категорий, который позволяет формально описывать и строго исследовать процедуры применения моделей в инженерной деятельности, составляющие прагматику модельно-ориентированной системной инженерии (Model-Based Systems Engineering, MBSE). В основе аппарата лежит математическое представление сборочных чертежей (мегамоделей систем) диаграммами в категориях, объектами которых служат модели, а морфизмы представляют действия по сборке моделей систем из моделей компонентов. Предложены, исследованы и проиллюстрированы теоретико-категорные методы решения прямых и обратных прагматических задач сборки систем. Выявлена ключевая роль монады диаграмм. Особое внимание уделено задаче восстановления конфигурации заданной системы с учетом технологических ограничений, накладываемых на способы и процедуры сборки. Приведено сопоставление ряда ключевых понятий системной инженерии конструкциям теории категорий.
Ключевые слова:
модельно-ориентированная системная инженерия; прагматика; мегамодель; теория категорий; задача восстановления конфигурации; монада диаграмм.
Поступила в редакцию: 11.12.2017
Реферативные базы данных:
Тип публикации:
Статья
Образец цитирования:
С. П. Ковалёв, “Теория категорий как математическая прагматика модельно-ориентированной системной инженерии”, Информ. и её примен., 12:1 (2018), 95–104
\RBibitem{Kov18}
\by С.~П.~Ковалёв
\paper Теория категорий как математическая прагматика модельно-ориентированной системной инженерии
\jour Информ. и её примен.
\yr 2018
\vol 12
\issue 1
\pages 95--104
\mathnet{http://mi.mathnet.ru/ia521}
\crossref{https://doi.org/10.14357/19922264180112}
\elib{https://elibrary.ru/item.asp?id=32686793}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ia521
https://www.mathnet.ru/rus/ia/v12/i1/p95
Эта публикация цитируется в следующих 6 статьяx:
С. П. Ковалёв, “Алгебраическая спецификация распределенных систем с изменяющейся архитектурой”, Информ. и её примен., 18:1 (2024), 11–17
Р. Н. Абуталипов, А. У. Заммоев, Г. В. Чернышев, “Поиск теоретических подходов для исследования
киберфизических систем и сред с интеллектуальным управлением”, Известия Кабардино-Балкарского научного центра РАН, 26:6 (2024), 26–44
С. П. Ковалёв, “Монада диаграмм как математическая метамодель системной инженерии”, Информ. и её примен., 17:2 (2023), 11–17
С. П. Ковалёв, “Алгебраическая спецификация графовых вычислительных структур”, Информ. и её примен., 16:1 (2022), 2–9
С. П. Ковалёв, “Методы теории категорий в цифровом проектировании гетерогенных киберфизических систем”, Информ. и её примен., 15:1 (2021), 23–29
С. П. Ковалёв, “Проектирование информационного обеспечения цифровых двойников энергетических систем”, Системы и средства информ., 30:1 (2020), 66–81
Цитирование в формате AMSBIB
Обратная связь: