任务空间概念模型执行机制初探

摘要：

任务空间概念模型(CMMS)是建立作战模拟系统的根据,概念模型的错误,将直接导致作战模拟系统运行结果不可信.因此,任务空间概念模型的质量非常关键,如何对任务空间概念模型进行校核、验证与确认(VV&A)是一个非常值得研究的问题.该文在建立任务空间概念模型的形式化描述的基础上,建立了任务空间概念模型的执行机制,并提出了通过概念执行来对模型进行检查的方法.结果表明,通过概念执行,可以挖掘概念模型在结构上和逻辑上的一些错误.

关键词：任务空间概念模型、校核、验证与确认、形式化

所属期刊栏目：22

分类号：TP391.9(计算技术、计算机技术)

在线出版日期：2005-12-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：78-80