| C4ISR系统能力需求行为建模及验证 |
| |
| 引用本文： | 何红悦,王智学,董庆超,徐景,张兆巍.C4ISR系统能力需求行为建模及验证[J].系统工程与电子技术,2012,34(6):1153-1160. |
| |
| 作者姓名： | 何红悦 王智学 董庆超 徐景 张兆巍 |
| |
| 作者单位： | 1. 解放军理工大学指挥自动化学院，江苏 南京 210007; 2. 中国人民解放军66165部队, 河北 保定 071000 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，“十一五”国防重点预研基金项目 |
| |
| 摘 要： | 针对C4ISR系统需求分析行为建模中，统一建模语言（unified modeling language, UML)的行为模型验证困难问题，提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手，通过扩展UML行为元模型得到能力行为元模型，然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题，将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体，并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。
|
| 关 键 词： | 能力需求元模型 行为建模 模型形式化 模型验证 |
Behavioral modeling and verification of C4ISR system capability requirements |
| |
| HE Hong-yue
,
WANG Zhi-xue
,
DONG Qing-chao
,
XU Jing
,
ZHANG Zhao-wei.Behavioral modeling and verification of C4ISR system capability requirements[J].System Engineering and Electronics,2012,34(6):1153-1160. |
| |
| Authors: | HE Hong-yue WANG Zhi-xue DONG Qing-chao XU Jing ZHANG Zhao-wei |
| |
| Institution: | 1. Institute of Command Automation, University of Science and Technology of PLA, Nanjing 210007, China; 2. Unit 66165 of PLA, Baoding 071000, China |
| |
| Abstract: | 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. |
| |
| Keywords: | capability requirement metamodel behavioral modeling model formalization model verification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
| 点击此处可从《系统工程与电子技术》下载免费的PDF全文 |
