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

Formal Description of Simulation Runtime Support Platform Architecture with XYZ/ADL

作　　者：孙黎阳[1,2] 毛少杰[2] 林剑柠[2] 刘中[1] 

机构地区：[1]南京理工大学电子与光技术学院,南京210094 [2]中国电子科技集团28所信息系统工程重点实验室,南京210007

出　　处：《计算机科学》2012年第B06期365-369,共5页Computer Science

摘　　要：网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象,还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试,为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。Net-centric simulation runtime support platform（NCS-RSP） provides an environment supporting the construction of community of simulation task（CoST）.This paper adopted dual software architecture description framework XYZ/ADL to describe the architecture of NCS-RSP by graphics language and formal language respectively.Then we decomposed and refined the core service layer during the construction of CoST.This description method not only expresses the architecture graphics and behavioral Abstraction of NCS-RSP from visual viewpoint,but also validates the correctness and completeness of architecture design from formal view.The research is a new attempt of formal description in military simulation domain and it provides a guide for the composition and reuse of NCS-RSP service.

关 键 词：网络中心化仿真 任务共同体 运行支撑平台体系结构 体系结构描述语言 XYZ/ADL 

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