摘要
为了解决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.
出处
《系统工程理论与实践》
EI
CSSCI
CSCD
北大核心
2013年第9期2381-2389,共9页
Systems Engineering-Theory & Practice
基金
"十一五"国防重点预研基金项目(9140A06040108JB8101)
关键词
效能分析
软目标
一致性
描述逻辑
effectiveness analysis
softgoal
consistency
description logic