基于xyz/adl的网络中心化仿真运行支撑平台体系结构形式化描述

网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于xyz/adl的双重软件体系结构描述框架，分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象，还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试，为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。