基于UML的作战仿真VV＆A过程形式化建模

可信性是作战仿真的生命线，对作战仿真的全生命周期进行校核、验证与确认（Verification，Validation and Accreditation，VV＆A）是确保其可信性的重要途径。建立合适的VV＆A过程形式化模型是开展作战仿真VV＆A过程研究的前提和基础。基于统一建模语言（Unified Modeling Language，UML）分别从用例、静态结构、动态行为及交互等方面对VV＆A过程进行形式化建模，建立了作战仿真VV＆A过程的用例、类图、活动图及顺序图模型，并给出相应的形式化定义。实践表明：作战仿真VV＆A过程形式化建模可以使VV＆A的描述规范化、标准化及形式化，便于不同领域人员的相互沟通与交流，以及VV＆A工程化应用，促进了VV＆A工作顺利开展。

Formalization Modeling on VV&A Process for Warfare Simulation by UML

The credibility is the lifeline of warfare simulation. To execute verification, validation and accreditation （VV＆A） is an important approach to insure the credibility of warfare simulation system through out the life circle. It is the precondition and foundation to make the right formal model of VV＆A process for warfare simulation. In this paper,the formal models of VV＆A process is carried out,in which the details of use case,static construction,dynamic activities and interactions are modeled based on UML, and their formalization definitions are put forward. The practice shows that the formalization modeling on VV＆A process for warfare simulation by UML can make it standardization, regularization and formalization, which can help the researchers in different domains to communicate with each other. The research of VV＆A can be used in engineering,which help the job of VV＆A is developed expediently.