Geodesic
Analysis of research into the mathematical foundations of model-based systems engineering
Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, Tome 20 (2024) no. 3, pp. 350-365

Voir la notice de l'article provenant de la source Math-Net.Ru

The article provides an analysis of research into the mathematical foundations of model-based systems engineering (MBSE, Model-Based Systems Engineering). Both the classical mathematical theory of Wymore's system design and modern research are considered, in particular, the formalization of the semantics of the SysML language using automata theory, the use of category theory as a formal mathematical basis for model-based system design, the study of the possibilities of combining the theoretical basis of Wymore's systems and the universal Discrete Event System Specification (DEVS) modeling formalism.
Keywords: systems engineering, model-based systems engineering, model-based systems engineering, finite state machines, semantics of the SysML language, tripartite theory, DEVS modeling, category theory in model-based systems engineering. 
@article{VSPUI_2024_20_3_a3,
     author = {V. A. Sukhomlin},
     title = {Analysis of research into the mathematical foundations of model-based systems engineering},
     journal = {Vestnik Sankt-Peterburgskogo universiteta. Prikladna\^a matematika, informatika, processy upravleni\^a},
     pages = {350--365},
     publisher = {mathdoc},
     volume = {20},
     number = {3},
     year = {2024},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VSPUI_2024_20_3_a3/}
}
TY  - JOUR
AU  - V. A. Sukhomlin
TI  - Analysis of research into the mathematical foundations of model-based systems engineering
JO  - Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
PY  - 2024
SP  - 350
EP  - 365
VL  - 20
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VSPUI_2024_20_3_a3/
LA  - ru
ID  - VSPUI_2024_20_3_a3
ER  - 
%0 Journal Article
%A V. A. Sukhomlin
%T Analysis of research into the mathematical foundations of model-based systems engineering
%J Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ
%D 2024
%P 350-365
%V 20
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VSPUI_2024_20_3_a3/
%G ru
%F VSPUI_2024_20_3_a3
V. A. Sukhomlin. Analysis of research into the mathematical foundations of model-based systems engineering. Vestnik Sankt-Peterburgskogo universiteta. Prikladnaâ matematika, informatika, processy upravleniâ, Tome 20 (2024) no. 3, pp. 350-365. http://geodesic.mathdoc.fr/item/VSPUI_2024_20_3_a3/