C4ISR系统能力需求行为建模及验证

• 作者: 何红悦 张兆巍 徐景 王智学 董庆超
• 来源期刊: 系统工程与电子技术
• 学科: 军事
• 关键词: 能力需求元模型 行为建模 模型形式化 模型验证
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 系统工程
• 页码范围: 1153-1160
• 分类号: E917
• 字数: 6337字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2012.06.13

摘要

针对C4 ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法.从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型采构建能力需求的行为模型.为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王智学	解放军理工大学指挥自动化学院	76	534	12.0	19.0
2	何红悦	解放军理工大学指挥自动化学院	10	46	4.0	6.0
3	董庆超	解放军理工大学指挥自动化学院	20	120	7.0	10.0
4	张兆巍	解放军理工大学指挥自动化学院	1	4	1.0	1.0