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

摘要：

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

关键词：能力需求元模型、行为建模、模型形式化、模型验证

所属期刊栏目：34

分类号：E917(军事技术基础科学)

资助基金：国家高技术研究发展计划863计划2007AA012126;“十一五”国防重点预研基金项目9140A06040108JB8101资助课题

在线出版日期：2012-08-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1153-1160