任务空间概念模型轻量级形式化校核方法初探

任务空间概念模型是现实世界军事知识的第一层抽象，是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量，任务空间概念模型自身的VV＆A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述，定性描述占主要，定量成分非常少。因此，传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。把轻量级形式化方法引入了任务空间概念模型的校核，提出形式化校核过程。并建立了部分校核模型。     

军事概念模型研究综述

军事概念模型是一切军事建模仿真系统开发的共同起点，军事概念模型及其相关技术是解决建模仿真重用、互操作和VV＆A的关键因素之一，对于军事建模仿真系统开发具有重要的意义。概述了军事概念建模研究的主要内容，包括军事概念模型相关的概念、定义、建模语言、建模过程、关键技术和工具，简介了其用途，并对未来的发展进行了展望。