复杂系统的可执行模型仿真方法研究

针对复杂系统早期验证评估过程中，由于模型不可执行造成的问题，提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手，将复杂系统模型分为结构模型和行为模型，扩展fUML元模型得到复杂系统的可执行元模型，使用这些元模型来构建复杂系统的可执行模型，并为可执行模型定义了行为语义。为了支持可执行模型的仿真，设计了相应的仿真执行系统，定义模型仿真所需要的仿真语言和执行规约，将行为模型转换为可执行的进程项，依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。复杂系统； 可执行模型； 可执行模型代数； 模型验证

Research on executable model simulation for system of systems

To solve the problem of model executability, which hinders the early process of validation and assessment of system of systems (SoS), a method of executable model simulation of SoS is proposed. First, the rigorous semantics model of SoS is defined and divided into the structural model and the behavioral model. Then, the executable meta models of SoS are suggested, basing on the fUML meta-models, for building executable models of SoS, and the executable semantics of the models is defined. To simulate these executable models, a simulation execution system is designed, and the simulation specification language and execution rules are defined. The behavioral models can be translated into executable process terms, to realize the simulation of SoS executable models according to the execution rules. Finally, an instance of theatre air defense is used to illustrate the feasibility of the approach.