摘要：为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念推理的效能概念模型一致性检验算法,研究了从UML模型到描述逻辑本体的映射算法;最后以一个防空系统效能分析案例,说明方法的理论可行性.

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

单位：解放军理工大学指挥自动化学院 南京210007 军事交通学院联合投送系 天津300161