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

Research on executable model simulation for system of systems

作　　者：何红悦[1] 王智学[1] 朱卫星[2] 董庆超[3] 王庆龙[1] 

机构地区：[1]解放军理工大学指挥信息系统学院,江苏南京210007 [2]解放军理工大学信息管理中心,江苏南京210007 [3]海军航空工程学院,山东烟台264001

出　　处：《系统工程与电子技术》2014年第10期1966-1972,共7页Systems Engineering and Electronics

基　　金：国家自然科学基金(61273210);国防重点预研项目(51306010202)资助课题

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

关 键 词：复杂系统 可执行模型 可执行模型代数 模型验证 

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