体系对抗仿真已经成为武器系统作战效能评估和武器装备论证的有效手段。然而,目前缺乏对于体系对抗仿真模型抽象方法的研究。在总结体系对抗仿真实体层次建模和体系层次建模基本要素的基础上,对DEVS进行扩展,给出了面向体系对抗仿真的模型形式规范描述,包括实体模型形式描述、事件类型形式描述,体系模型形式描述以及实验模型形式描述.体系对抗仿真模型形式规范是对DEVS向体系层次描述的有益扩充,可以有效地指导体系对抗仿真的建模工作。
System-of-systems combat simulation has been an effective approach for operational effectiveness evaluation and demonstration of weapons systems. However, the study on model abstraction methods for system-of-systems combat simulation is still not enough. After summarizing the basic elements and characteristics of entity model and system-of-systems model, DEVS is extent and the model formal specification for system-of-systems combat simulation was proposed, which includes entity model, event type, system-of-systems model and experiment model formal specification. The model formal specification for system-of-systems combat simulation is an extension to system-of-systems hierarchy based on DEVS, and is effective to direct modeling of system-of-systems combat simulation.