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

摘要

Net-centric simulation runtime support platform(NCS-RSP) provides an environment supporting theconstruction of community of simulation task (CoST). Thispaper adopts dual software architecture descriptionframework XYZ/ADL to describe the architecture ofNCS-RSP by graphic language and formal languagerespectively. Then we decompose and refine the core servicelayer during the construction of CoST. Not only thisdescription method expresses the architecture graphics andbehavioral abstraction of NCS-RSP from visual viewpoint,but also validates the correctness and completeness ofarchitecture design from formal view. The research is a newattempt of formal description in military simulation domainand it provides a guideline for the composition and reuse ofNCS-RSP service.