文章基本信息

标题：Formal Description of Simulation Runtime Support Platform Architecture with XYZ/ADL
本地全文：下载
作者：Sun, Liyang ; Mao, Shaojie ; Liu, Zhong 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2012
卷号：7
期号：9
页码：2026-2032
DOI：10.4304/jsw.7.9.2026-2032
语种：English
出版社：Academy Publisher
摘要：Net-centric simulation runtime support platform (NCS-RSP) provides an environment supporting the construction of community of simulation task (CoST). This paper adopts dual software architecture description framework XYZ/ADL to describe the architecture of NCS-RSP by graphic language and formal language respectively. Then we decompose and refine the core service layer during the construction of CoST. Not only this description method 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 guideline for the composition and reuse of NCS-RSP service.
关键词：net-centric simulation;service composition;runtime support platform architecture;architecture description language