面向目标的C4ISR系统效能概念建模与一致性分析方法  

Goal-oriented conceptual modeling and consistency checking for C4ISR system effectiveness analysis

作　　者：王智学[1] 董庆超[1] 张炜钟 蒋鑫[1] 

机构地区：[1]解放军理工大学指挥自动化学院,南京210007 [2]军事交通学院联合投送系,天津300161

出　　处：《系统工程理论与实践》2013年第9期2381-2389,共9页Systems Engineering-Theory & Practice

基　　金："十一五"国防重点预研基金项目(9140A06040108JB8101)

摘　　要：为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念推理的效能概念模型一致性检验算法,研究了从UML模型到描述逻辑本体的映射算法;最后以一个防空系统效能分析案例,说明方法的理论可行性.To solve the problem of effectiveness analysis and verification for C4ISR system, the paper introduces a method based on ontology and softgoals analysis. It constructs a capability meta ontology, and in the semantic restrictions of the ontology, the effectiveness requirements could be captured by softgoals analysis. After that, the paper proposes an algorithm to convert the effectiveness models to effectiveness ontology, and then the consistency of the models could be verified by a symbol inference system. In the end, we present a model checking test to examine the practicality of the method.

关 键 词：效能分析 软目标 一致性 描述逻辑 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]