title: Analysis of research into the mathematical foundations of model- based systems engineering
metadata.name: dc.contributor.author
metadata.value: Sukhomlin, Vladimir A.
metadata.lang: -
metadata.name: dc.date.accessioned
metadata.value: 2024-11-22T17:06:40Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-11-22T17:06:40Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024-09
metadata.lang: -
metadata.name: dc.identifier.citation
metadata.value: Sukhomlin V. A. Analysis of research into the mathematical foundations of model- based systems engineering. Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes, 2024, vol. 20, iss. 3, pp. 350–365. https://doi.org/10.21638/spbu10.2024.304 (In Russian)
metadata.lang: en_GB
metadata.name: dc.identifier.other
metadata.value: https://doi.org/10.21638/spbu10.2024.304
metadata.lang: -
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/47981
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: 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.
metadata.lang: en_GB
metadata.name: dc.publisher
metadata.value: St Petersburg State University
metadata.lang: en_GB
metadata.name: dc.relation.ispartofseries
metadata.value: Vestnik of St Petersburg University. Applied Mathematics. Computer Science. Control Processes;Volume 20; Issue 3
metadata.lang: -
metadata.name: dc.subject
metadata.value: systems engineering
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: model-based systems engineering
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: model-based systems engineering
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: finite state machines
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: semantics of the SysML language
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: tripartite theory
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: DEVS modeling
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: category theory in model-based systems engineering
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Analysis of research into the mathematical foundations of model- based systems engineering
metadata.lang: en_GB
metadata.name: dc.type
metadata.value: Article
metadata.lang: en_GB
resources.filename: vestnik_spbu10_2024_350.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/47981/1/vestnik_spbu10_2024_350.pdf
resources.format: Adobe PDF
resources.size: 803,95 kB