军事信息系统需求模型一致性检验方法

• 作者: 权冀川 禹明刚 董经纬
• 来源期刊: 火力与指挥控制
• 学科: 工学
• 关键词: 军事信息系统 需求模型 一致性验证 系统工程 需求工程
• 年，卷（期）: 2019,（11）
• 所属期刊栏目: 工程实践
• 页码范围: 143-150
• 页数: 8页
• 分类号: TP391
• 字数: 7240字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0640.2019.11.029

摘要

在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题.提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成.该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	禹明刚	陆军工程大学指挥控制工程学院	9	6	1.0	2.0
2	权冀川	陆军工程大学指挥控制工程学院	5	26	2.0	5.0
3	董经纬	陆军工程大学指挥控制工程学院	1	1	1.0	1.0