Conjoining wymore’s systems theoretic framework and the devs modeling formalism: Toward scientific foundations for mbse

Paul Wach, Bernard P. Zeigler, Alejandro Salado

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

The objective of this research article is to re-introduce some of the concepts provided by A. Wayne Wymore in his mathematical theory of Model-Based Systems Engineering, discuss why his framework might have not been adopted, and define a potential path to modernize the framework for practical application in the digital age. The dense mathematical theory has never been converted to a practical form. We propose a path to modernization by creating a metamodel of Wymore’s mathematical theory of MBSE. This enables explaining the concepts in simple to understand terms and shows the internal consistency provided by the theory. Furthermore, the metamodel allows for conversion of the theory into software application, for which we show some initial results that open the research to the art of the possible. In recognition of limitation of the theory, we make the case for a merger of the theoretical framework with the enhanced formalism of Discrete Event System Specification (DEVS). This will establish a path toward the scientific foundations for MBSE to enable future implementations of the complementary pairing and their empirical results.

Original languageEnglish (US)
Article number4936
JournalApplied Sciences (Switzerland)
Volume11
Issue number11
DOIs
StatePublished - Jun 1 2021
Externally publishedYes

Keywords

  • DEVS
  • Digital engineering
  • Digital transformation
  • MBSE
  • Model and simulation-based systems engineering
  • Model-based systems engineering
  • Modeling & simulation

ASJC Scopus subject areas

  • Materials Science(all)
  • Instrumentation
  • Engineering(all)
  • Process Chemistry and Technology
  • Computer Science Applications
  • Fluid Flow and Transfer Processes

Fingerprint

Dive into the research topics of 'Conjoining wymore’s systems theoretic framework and the devs modeling formalism: Toward scientific foundations for mbse'. Together they form a unique fingerprint.

Cite this