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

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

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。

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.