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