基于Sirius的SysML活动图建模和仿真设计与实现  

A Sirius-based Design and Realization of SysML Activity Diagram Modeling and Simulation

作　　者：王强[1] 周晨初 陆明珠 彭祺擘[4] 叶晓平[5] 刘玉生[3] WANG Qiang;ZHOU Chenchu;LU Mingzhu;PENG Qibo;YE Xiaoping;LIU Yusheng(Shanghai Institute of Satellite Engineering,Shanghai,201109;Xi’an Aerospace Propulsion Institute,Xi’an 710100,Shaanxi;State Key Lab.of CAD&CG,Zhejiang University,Hangzhou 310058,Zhejiang;China Astronaut Research and Training Center,Beijing,100094;Faculty of Engineering,Lishui University,Lishui 323000,Zhejiang)

机构地区：[1]上海卫星工程研究所,上海201109 [2]西安航天动力研究所,陕西西安710100 [3]浙江大学CAD&CG国家重点实验室,浙江杭州310058 [4]中国航天员科研训练中心,北京100094 [5]丽水学院工学院,浙江丽水323000

出　　处：《丽水学院学报》2022年第5期8-17,共10页Journal of Lishui University

基　　金：国家重点研发计划项目“复杂产品全生命周期模型定义体系、表达与互联规范”(2018YFB1700901);浙江省自然科学基金重点资助项目“模型驱动的复杂装备架构智能生成与验证研究”(LZ21F020003)。

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

关 键 词：SYSML 活动图 建模 仿真 MBSE 

分 类 号：TP391.1[自动化与计算机技术—计算机应用技术]