军事信息系统需求模型一致性检验方法 |
| |
引用本文: | 禹明刚,权冀川,董经纬.军事信息系统需求模型一致性检验方法[J].火力与指挥控制,2019,44(11). |
| |
作者姓名: | 禹明刚 权冀川 董经纬 |
| |
作者单位: | 陆军工程大学指挥控制工程学院,南京,210007 |
| |
基金项目: | 国家自然科学基金;国家自然科学基金 |
| |
摘 要: | 在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。
|
关 键 词: | 军事信息系统 需求模型 一致性验证 系统工程 需求工程 |
本文献已被 CNKI 万方数据 等数据库收录! |
|