论文摘要
在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。
论文目录
文章来源
类型: 期刊论文
作者: 禹明刚,权冀川,董经纬
关键词: 军事信息系统,需求模型,一致性验证,系统工程,需求工程
来源: 火力与指挥控制 2019年11期
年度: 2019
分类: 工程科技Ⅱ辑,信息科技
专业: 武器工业与军事技术,计算机软件及计算机应用
单位: 陆军工程大学指挥控制工程学院
基金: 国家自然科学基金资助项目(71901217,KYZYJJGJ1207)
分类号: TP311.52;E91
页码: 143-150
总页数: 8
文件大小: 3854K
下载量: 124