C~4ISR系统能力需求行为建模及验证

作者：何红悦; 王智学; 董庆超; 徐景; 张兆巍

来源：系统工程与电子技术, 2012, (06): 1153-1160.

• 能力需求元模型
• 行为建模
• 模型形式化
• 模型验证 capability requirement metamodel
• behavioral modeling
• model formalization
• model verification

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

• 单位
  中国人民解放军陆军工程大学