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

摘要：

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

引言：

【引言】作战仿真是研究作战最有效的方法之一，在各层次作战的分析、训练以及测试与评估中发挥着越来越重要的作用。作战仿真具有多层次性、多要素性、多领域性、整体涌现性、不确定性、病态性及模型粒度多样性等复杂性特点，这些特点必将影响到作战仿真的可信性。作战仿真的可信度能否达到要求，直接关系到它的应用成败，进而影响到国防和军队的建设。因此，可信性是作战仿真的关键要素，值得重点关注和深入研究。

作者：

唐见兵；查亚兵

作者单位：

国防科技大学指挥军官基础教育学院；国防科技大学机电工程与自动化学院；