系统工程与电子技术

作者：刘美凤, 杨文静

单位：国防科技大学信息通信学院, 湖北 武汉 430010

关键词：情境计算,需求,一致性,验证

基金：国家社会科学基金(18XGL023)

情境计算是目前军事信息系统发展的重要部分, 情境计算的需求涉及领域广泛、架构复杂。针对军事信息系统中情境计算需求论证需求不一致问题, 采用本体推理方法发现并消除需求中的冲突和矛盾, 构建了情境计算需求本体模型; 提出了情境计算需求一致性验证内容框架, 针对不一致的情况提出推理验证方法; 最后以一个典型的军事信息系统情境计算系统为例, 进行需求的本体构建和本体推理, 实现了需求的一致性验证。通过本体推理的方法进行需求一致性验证结果直观、修改方便, 对于军事信息系统中情境计算的需求分析具有重要作用。

来源：2023年第1期

《系统工程与电子技术》期刊编辑部

查看系统工程与电子技术杂志2023年第1期