军事信息系统情境计算需求一致性验证研究

Consistency verification of contextual computing requirements in military information system

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

Contextual computing is an important part of the development of military information system at present.The requirements of contextual computing involve a wide range of fields and complex architecture.Aiming at the inconsistency of requirements in the demonstration of contextual computing requirements in military information systems,an ontology reasoning method is adopted to find and eliminate the conflicts and contradictions in requirements.The ontology model of contextual computing requirements is constructed,and put forward the content framework of requirement consistency verification.And reasoning verification methods are put forward for inconsistent situations.Finally,taking a typical military information system contextual computing system as an example,the ontology construction and ontology reasoning of requirements are carried out to realize the requirement consistency verification.The result of the requirement consistency verification by ontology reasoning is intuitive and easy to modify,which plays an important role in requirement analysis of contextual computing in military information system.