摘要:
综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。
王智学, 董庆超, 姜志平, 王庆龙. 基于描述逻辑的C4ISR系统体系结构一致性验证方法[J]. Journal of Systems Engineering and Electronics, 2012, 34(9): 1841-1845.
WANG Zhixue, DONG Qingchao, JIANG Zhiping, WANG Qinglong. Method of C4ISR system architecture consistency verification based on description logic system[J]. Journal of Systems Engineering and Electronics, 2012, 34(9): 1841-1845.