基于描述逻辑的C^4ISR系统体系结构一致性验证方法  

Method of C^4ISR system architecture consistency verification based on description logic system

作　　者：王智学[1] 董庆超[1] 姜志平[1] 王庆龙[1] 

机构地区：[1]解放军理工大学指挥自动化学院,江苏南京210007

出　　处：《系统工程与电子技术》2012年第9期1841-1845,共5页Systems Engineering and Electronics

基　　金："十一五"国防重点预研基金(9140A06040108JB8101)资助课题

摘　　要：综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。The development of C4 ISR （command, control, communication, computer, intelligence, surveil- lance and reconnaissance） systems architecture is often confronted with the inconsistency problem when multi- view products are integrated into the architecture. A new solution which formalizes the key elements of view- point models of the architecture by introducing the description logic （DL） system is presented. The architecture models are transformed into the DL knowledge base, thus the conflicts or contradictions among architecture products can be found out by the DL reasoning system. Since the approach is based on a solid formalization theo- ry and enables a highly automatic verification process, it is expected to completely resolve the consistency verifi- cation of the integrated architectures.

关 键 词：体系结构 描述逻辑系统 一致性验证 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构] E96[自动化与计算机技术—计算机科学与技术]