期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
C^4ISR系统能力需求行为建模及验证
被引量：
4
1
作者
何红悦
王智学
+2 位作者
董庆超
徐景
张兆巍
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第6期1153-1160,共8页
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,...
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
展开更多
关键词
能力需求元模型
行为建模
模型
形式化
模型
验证
在线阅读
下载PDF
职称材料
题名
C^4ISR系统能力需求行为建模及验证
被引量：
4
1
作者
何红悦
王智学
董庆超
徐景
张兆巍
机构
解放军理工大学指挥自动化学院
中国人民解放军
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第6期1153-1160,共8页
基金
国家高技术研究发展计划(863计划)(2007AA01Z126)
"十一五"国防重点预研基金项目(9140A06040108JB8101)资助课题
文摘
针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
关键词
能力需求元模型
行为建模
模型
形式化
模型
验证
Keywords
capability requirement metamodel behavioral modeling model formalization model verification
分类号
E917 [军事]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
C^4ISR系统能力需求行为建模及验证
何红悦
王智学
董庆超
徐景
张兆巍
《系统工程与电子技术》
EI
CSCD
北大核心
2012
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
