Verification of SysML Activity Diagrams Using Hoare Logic and SOFL

Yin, Yufei; Liu, Shaoying; Chen, Yixiang

doi:10.1007/978-3-030-13651-2_5

Cited by 1 publication

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Upon Wymore's passing, evidence of influence on the SE community can be found in the literature [22]. In further review of the literature, some provide reference to T3SD [23][24][25][26][27]. 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.…”

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