CAJ | 학술논문

由于 C4ISR 体系结构模型缺乏可执行性，不利于体系结构的验证评估，为此提出了一种基于 fUML （semantics of a foundational subset for executable unified modeling language models）的体系结构建模与分析方法。基于 fUML 元模型来定义 C4ISR 体系结构的可执行建模元模型，使用它们来构建 C4ISR 体系结构的可执行模型；定义可执行模型的代数语义域---可执行活动模型代数（executable activity model algebra，EAMA），使用语义函数将可执行模型的行为语义转换为 EAMA 的进程项；定义 EAMA 的操作语义作为进程项的执行规约，通过对进程项的仿真执行来实现 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 체계결구적가집행분석，최후이구역방공작전계통위례설명료방법적가행성。
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 se-mantics 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.