Analysis of research into the mathematical foundations of model-based systems engineering

被引：0
作者：
Sukhomlin, V. A. [1 ,2 ]
机构：
[1] Lomonosov Moscow State Univ, 1 Leninskie Gory, Moscow 119991, Russia
[2] Russian Acad Sci, Fed Res Ctr Comp Sci & Control, 44 Ul Vavilova, Moscow 119333, Russia
来源：
VESTNIK SANKT-PETERBURGSKOGO UNIVERSITETA SERIYA 10 PRIKLADNAYA MATEMATIKA INFORMATIKA PROTSESSY UPRAVLENIYA | 2024年 / 20卷 / 03期
关键词：
systems engineering; model-based systems engineering; model-based systems en-gineering; finite state machines; semantics of the SysML language; tripartite theory; DEVS modeling; category theory in model-based systems engineering;
D O I：
10.21638/spbu10.2024.304
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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.
引用
收藏
页码：350 / 365
页数：16
相关论文
共 47 条
[1]  
[Anonymous], 1991, Topology and category theory in computer science
[2]   Model-driven development:: A metamodeling foundation [J].
Atkinson, C ;
Kühne, T .
IEEE SOFTWARE, 2003, 20 (05) :36-+
[3]  
Bertalanfi L., 1969, Sistematic investigations, P34
[4]  
Bogdanov A. A., 1989, Tectology: General organizational science, V1
[5]  
Breiner S., 2022, Handbook of Model-Based Systems Engineering, P1, DOI [10.1007/978-3-030-27486-3_85-1, DOI 10.1007/978-3-030-27486-3_85-1]
[6]  
Collopy PD, 2015, ANN IEEE SYST CONF, P536, DOI 10.1109/SYSCON.2015.7116807
[7]   Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond [J].
Diskin, Zinovy ;
Maibaum, Tom .
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (93) :1-21
[8]  
Engel A., 2024, Systems Science for Engineers and Scholars, P63, DOI [10.1002/9781394211678.ch18, DOI 10.1002/9781394211678.CH18]
[9]  
Estefan J.A., 2007, SURVEY MODEL BASED S
[10]  
Fiadeiro J. L., 2005, Categories for software engineering, DOI [10.1007/b138249, DOI 10.1007/B138249]
12345