摘要

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