CAJ | 학술논문

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