摘要
任务空间概念模型是现实世界军事知识的第一层抽象,是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量,任务空间概念模型自身的VV&A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述,定性描述占主要,定量成分非常少。因此,传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。把轻量级形式化方法引入了任务空间概念模型的校核,提出形式化校核过程,并建立了部分校核模型。
Conceptual Model of Mission Space（CMMS） is the first abstraction of real world military knowledge, and is the business base for simulation system development. Therefore the quality of CMMS is the key to the quality of simulation system based on it. The research for Verification, Validation and Accreditation（VV＆A） Technology of CMMS is very important. Essentially, CMMS is the knowledge representation or requirement acquisition in military domain, so qualitative representation is the main,but the quantitative description is the minor. Evidently traditional method of output analysis is unsuitable for CMMS. The lightweight formalization method to verification of mission space conceptual model （MSCM） was introduced. The formal verification process was put forward. Some formal verification models was constructed.
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2006年第5期1108-1109,共2页
Journal of System Simulation
关键词
任务空间概念模型
形式化
校核
验证
conceptual model
formalization
verification
validation
