|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Анализ исследований математических основ модельно-ориентированной системной инженериистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
- Автор: Сухомлин Владимир Александрович
- Журнал: Вестник Санкт-Петербургского университета. Серия 10. Прикладная математика. Информатика. Процессы управления
- Том: 20
- Номер: 3
- Год издания: 2024
- Издательство: Федеральное государственное бюджетное образовательное учреждение высшего образования "Санкт-Петербургский государственный университет"
- Местоположение издательства: Санкт-Петербург
- Первая страница: 350
- Последняя страница: 365
- DOI: 10.21638/spbu10.2024.304
- Аннотация: В статье дается анализ исследований математических основ модельно-ориентированной системной инженерии (MBSE, Model-Based Systems Engineering). Рассмотрены как классическая математическая теория проектирования систем Уаймора, так и современные исследования, в частности формализации семантики языка SysML с помощью теории автоматов, применения теории категорий в качестве формальной математической базы для системного проектирования на основе моделей, изучение возможностей объединения теоретической основы систем Уаймора и универсального формализма моделирования Discrete Event System Specification (DEVS).
- Добавил в систему: Сухомлин Владимир Александрович