基于描述逻辑的能力需求模型验证方法

被引：8

作者：

董庆超

王智学

陈剑

张义

机构：

[1] 解放军理工大学指挥自动化学院

来源：

系统工程与电子技术 | 2010年 / 32卷 / 03期

基金：

国家高技术研究发展计划(863计划);

关键词：

描述逻辑; OWL DL; 元概念模型; 应用概念模型;

D O I：

暂无

中图分类号：

N945.12 [系统模型、系统建模];

学科分类号：

071102 ;

摘要：

针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。

引用

页码：533 / 539

页数：7

共 7 条

[1] 基于UML模型的C4ISR系统能力需求分析与验证 [J].