计算机科学 ›› 2012, Vol. 39 ›› Issue (Z6): 365-369.

• • 上一篇    下一篇

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

孙黎阳,毛少杰,林剑柠,刘中   

  1. (南京理工大学电子与光技术学院 南京210094) (中国电子科技集团28所信息系统工程重点实验室 南京210007)
  • 出版日期:2018-11-16 发布日期:2018-11-16

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

  • Online:2018-11-16 Published:2018-11-16

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

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

Abstract: 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 corredness 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.

Key words: Net centric simulation, COST, Runtime support platform architecture, Architecture description language,XYZ/ADL

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!