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