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.