Mathematical framework for recursive model-based system design

Mabrok, Mohamed A.; Elsayed, Saber M.; Ryan, Michael J.

doi:10.1007/s11071-015-2418-1

Cited by 4 publications

(2 citation statements)

References 26 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, no other contribution at such scale has been completed since and these works have largely been ignored within the SE community. As an example, although Wymore's research is credited with coining the term MBSE [24,25], his research is often discussed as being "difficult to translate" [26] and "hard to follow such that only mathematicians are able to read it" [27]. This lack of palatability would likely not come as a surprise to theoreticians such as Wymore.…”

Section: Table Of Tablesmentioning

confidence: 99%

Study of Equivalence in Systems Engineering Within the Frame of Verification

Wach,

Beling,

Zeigler

et al. 2024

Conference on Systems Engineering Research Series

View full text Add to dashboard Cite

Section: Table Of Tablesmentioning

confidence: 99%

Study of Equivalence in Systems Engineering Within the Frame of Verification

Wach,

Beling,

Zeigler

et al. 2024

Conference on Systems Engineering Research Series

View full text Add to dashboard Cite

“…With Wymore being "often credited with introducing a mathematical foundation for MBSE" [23], it should be assumed that the literature would provide significant usage, enhancement, and reference to his research. However, as one author states, Wymore's framework is "difficult to translate" [28] and "hard to follow such that only mathematicians are able to read it" [19]. While certainly dense in mathematical equations, theory, and proofs, this should not preclude exploration of T3SD from the SE community for usage as a foundation for modern MBSE and its necessary evolution.…”

Section: Introductionmentioning

confidence: 99%

Conjoining Wymore’s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE

Wach

Zeigler²,

Salado

2021

Applied Sciences

View full text Add to dashboard Cite

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.

show abstract

Theoretical Underpinnings to Establish Fidelity Conditions for Defining Verification Models

Wach,

Salado

2024

INCOSE International Symp

View full text Add to dashboard Cite

The current state of the discipline suggests that the desired fidelity of verification models is defined based on qualitative statements, that is, using heuristics, at the onset of an engineering endeavor. While the use of heuristics in systems engineering is well known, many heuristics have not been validated, and therefore there may be errors in judgement that could lead to systems being engineered that are ultimately not fit‐for‐purpose. This bears the question, based on what conditions should we formally define verification models? In this article, we provide insights from our research to discover the sufficient conditions for defining verification models, taking a science‐based approach that leverages the richness of systems‐theoretic constructs.

show abstract

Mathematical framework for recursive model-based system design

Cited by 4 publications

References 26 publications

Study of Equivalence in Systems Engineering Within the Frame of Verification

Study of Equivalence in Systems Engineering Within the Frame of Verification

Conjoining Wymore’s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE

Theoretical Underpinnings to Establish Fidelity Conditions for Defining Verification Models

Contact Info

Product

Resources

About