基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述 |
| |
引用本文: | 孙黎阳,毛少杰,林剑柠,刘中.基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述[J].计算机科学,2012,39(106):365-369. |
| |
作者姓名: | 孙黎阳 毛少杰 林剑柠 刘中 |
| |
作者单位: | (南京理工大学电子与光技术学院 南京210094) (中国电子科技集团28所信息系统工程重点实验室 南京210007) |
| |
摘 要: | 网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象,还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试,为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。
|
关 键 词: | 网络中心化仿真,任务共同体,运行支撑平台体系结构,体系结构描述语言,XYZ/ADL |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|