基于fUML的C4ISR体系结构可执行

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

fUML-based modeling and analysis of C4ISR architecture

Because the C4ISR architecture models are not executable, it is inconvenient for them to validate and assess the C4ISR architecture. Therefore, a method for modeling and analysis of the C4ISR architecture based on fUML is proposed. First, the executable meta-models of the C4ISR architecture are built by extending fUML meta-models, for building executable models of C4ISR architecture. Then, the executable activity model algebra （EAMA） is defined to formalize the algebraic semantics of the executable models. The behavioral semantics of the executable models is translated into the process of EAMA by semantics functions. To simulate the process of EAMA, the execution specifications are defined. And the analysis of the C4ISR architecture can be realized by process simulation of EAMA. Finally, an instance of theatre air defense is used to illustrate the feasibility of the approach.