Conjoining Wymore’s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE
Conjoining Wymore’s Systems Theoretic Framework and the DEVS Modeling Formalism: Toward Scientific Foundations for MBSE
复制标题
结合 Wymore 的系统理论框架和 DEVS 建模形式主义：迈向 MBSE 的科学基础
作者：
P. Wach;B. Zeigler;A. Salado
这篇研究文章的目的是重新介绍a . Wayne Wymore在他的基于模型的系统工程的数学理论中提供的一些概念，讨论为什么他的框架可能没有被采用，并定义一个潜在的路径，使框架在数字时代的实际应用中现代化。密集的数学理论从来没有转化为实际的形式。我们通过创建Wymore的MBSE数学理论的元模型，提出了一条现代化的道路。这可以用简单易懂的术语解释概念，并显示理论提供的内部一致性。此外，元模型允许将理论转换为软件应用程序，为此我们展示了一些初步结果，这些结果打开了对可能性艺术的研究。认识到理论的局限性，我们提出了将理论框架与增强的离散事件系统规范（DEVS）的形式主义合并的案例。这将为MBSE建立一条通往科学基础的道路，使未来实现互补配对及其实证结果成为可能。
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.