基于描述逻辑的C4ISR系统体系结构一致性验证方法

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