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

• 作者: 何晓晔 徐培德 沙基昌
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 概念模型 形式化 校核 验证
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 建模与仿真理论及方法
• 页码范围: 1108-1109
• 页数: 2页
• 分类号: TP391.9
• 字数: 1929字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2006.05.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沙基昌	国防科技大学信息系统与管理学院	131	1075	17.0	26.0
2	何晓晔	国防科技大学信息系统与管理学院	12	119	6.0	10.0
3	徐培德	国防科技大学信息系统与管理学院	29	199	9.0	12.0