ADL的网络中心化仿真运行支撑平台体系结构形式化描述.pdfVIP

第39卷 第6A期 让 算 机 科 学 Vo1．39No．6A 2012年 6 !!三堇曼竺竺竺 June2012 ． 基于XYZ／ADL的网络中心化仿真运行支撑 平台体系结构形式化描述 孙黎阳 ，。 毛少杰 林剑柠。 刘 中 (南京理工大学电子与光技术学院 南京210094) (中国电子科技集团28所信息系统工程重点实验室 南京 210007) 摘 要 网络 中心化仿真运行支撑平台体 系结构是为了满足动态构建仿真任务共同体而提 出的相应支撑环境。采用 基于XYZ／ADL的双重软件体系结构描述框架，分别从图形语言和形式语言对仿真运行支撑平台体系结构进行 了描 述并对仿真任务共同体构建中仿真核心服务层 实施 了分解与逐步求精。该体系结构描述方法不但从可视化角度表示 了仿真运行支撑平台体系结构框 图及行为抽象，还从形式化角度验证 了体系结构设计的正确性和完整性。该研究是 形式化描述方法在军事领域的全新尝试，为仿真运行支撑平台服务的合成与重用机制提供 了形式化的理论指导。 关键词 网络中心化仿真，任务共同体，运行支撑平台体系结构，体 系结构描述语言，XYZ／ADL 中图法分类号 TP391 文献标识码 A FormalDescriptionofSimulationRuntimeSuppo~PlatformArchitecturewithXYZ／ADL SUNLi-yang’ MAOShao-jie2 LINJianning LIUZhong (SchoolofElectronicandOpticalEngineering，Nanjing UniversityofScienceandTechnology，Naniing210094，China) (ScienceandTechnologyonInformationSystem EngineeringLaboratory，The28thResearchInstituteof ChinaElectronicsTechnologyGroupCorporation，Nanjing210007，China) Abstract Netcentricsimulationruntimesupportplatform (NCS-RSP)providesanenvironmentsupportingthecon— structionofcommunityofsimulationtask(Co r)．Thispaperadopteddualsoftwarearchitecturedescriptionframework XYZ／ADLtOdescribethearchitectureofNCS-RSPbygraphicslanguageandfomr allanguagerespectively．Thenwede— composedandrefinedthecoreservicelayerduringtheconstructionofC0sT．Thisdescriptionmethodnotonlyexpres— sesthearchitecturegraphicsandbehavioralabstractionofNC RSPfrom visualviewpoint，butalsovalidatesthecor— rectnessandcompletenessofarchitecturedesignfrom formalview．Theresearchisahaw attemptofofrmaldescription inmilitarysimulationdomani anditprovidesaguideforthecompositionandr