摘要
针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。
A method of checking capability model is proposed.It describes the meta concept model and application concept model of capability requirements using an ontology description language（OWL DL）,then some model checking rules are added on the models so as to enable model integrity and consistency checking by using a symbol inference system.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2010年第3期533-539,共7页
Systems Engineering and Electronics
基金
国家高技术研究发展计划(863计划)(2007AA01Z126)
"十一五"国防重点预研基金(9140A06040108JB8101)资助课题
