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.
NETL
NSTL
万方数据
