基于 fUML 的 C4ISR 体系结构可执行建模及分析

• 作者: 何红悦 朱卫星 王庆龙 王智学
• 来源期刊: 系统工程与电子技术
• 学科: 军事
• 关键词: C4ISR 体系结构 可执行建模 fUML 可执行活动模型代数 模型验证
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: 软件、算法与仿真
• 页码范围: 1874-1881
• 页数: 8页
• 分类号: E917|TP391.9
• 字数: 4812字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2014.09.33

摘要

由于 C4ISR 体系结构模型缺乏可执行性，不利于体系结构的验证评估，为此提出了一种基于 fUML （semantics of a foundational subset for executable unified modeling language models）的体系结构建模与分析方法。基于 fUML 元模型来定义 C4ISR 体系结构的可执行建模元模型，使用它们来构建 C4ISR 体系结构的可执行模型；定义可执行模型的代数语义域---可执行活动模型代数（executable activity model algebra，EAMA），使用语义函数将可执行模型的行为语义转换为 EAMA 的进程项；定义 EAMA 的操作语义作为进程项的执行规约，通过对进程项的仿真执行来实现 C4ISR 体系结构的可执行分析，最后以区域防空作战系统为例说明了方法的可行性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王智学	解放军理工大学指挥信息系统学院	76	534	12.0	19.0
2	何红悦	解放军理工大学指挥信息系统学院	10	46	4.0	6.0
3	王庆龙	解放军理工大学指挥信息系统学院	9	30	3.0	5.0
4	朱卫星	解放军理工大学信息管理中心	17	56	5.0	6.0