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

Behavioral modeling and verification of C^4ISR system capability requirements

作　　者：何红悦[1] 王智学[1] 董庆超[1] 徐景[1,2] 张兆巍[1] 

机构地区：[1]解放军理工大学指挥自动化学院 [2]中国人民解放军66165部队

出　　处：《系统工程与电子技术》2012年第6期1153-1160,共8页Systems Engineering and Electronics

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

摘　　要：针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。When using UML to analyze C4ISR capability requirements, the behavioral models are difficult to verify. To solve the problem, an approach to C4ISR system capability requirements behavioral modeling and verification is proposed. First, the capability behavioral metamodel is modeled by extending unified modeling language （UML） metamodel according to the C4ISR capability concept metamodel. Then the behavioral models are modeled by the capability behavioral metamodel. To verify whether the behavioral models conform to the restriction of capability concept metamodel, behavioral metamodel and domain rules, the behavioral models are translated into OWL DL ontology and DL-Safe rules, and then some rules are defined, which are used to reason and query the ontology for behavioral models verifying.

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

分 类 号：E917[军事]