【摘要】 基于模型的系统工程（Model-Based System Engineering, MBSE）作为复杂系统设计和验证的手段受到学术界和工业界的广泛关注。建模和仿真作为MBSE理论中复杂系统的设计过程最重要的两个步骤，其重要性不言而喻。文章先对活动图建模软件需要解决的问题进行了详细的拆解，提出了在底层模型、模型可视化、语义和功能扩展等方面的实现方法；然后设计一套用于模型仿真中模型执行的操作语义，保证仿真引擎的轻量化，并在原有元模型的基础上扩充了运行时概念并定义了动态语义；最后给出实例，验证了个该方法的可行性。更多还原

【Abstract】 As a means of designing and verifying complex systems, the model-based systems engineering(MBSE)has received extensive attention from academia and industry. Modeling and simulation are the two most important steps in the design process of complex systems, and their importance is self-evident. In this study, the problems that the activity diagram modeling software needs to solve is discussed in detail, and the realization methods is proposed in the underlying model, model visualization, semantics and function expansion. Then a set of operational semantics for model execution in model simulation is designed and implemented to ensure the simulation engine to be lightweight, and the runtime concept is expanded and dynamic semantics defined on the basis of the original meta-model. Finally, a case study is given to verify the feasibility of this method.更多还原