An executable modeling and analyzing approach to C4ISR architecture

To analyze the behavioral model of the command, control, communication, computer, intelligence, surveillance, re-connaissance (C4ISR) architecture, we propose an executable modeling and analyzing approach to it. First, the meta concept model of the C4ISR architecture is introduced. According to the meta concept model, we construct the executable meta models of the C4ISR architecture by extending the meta models of fUML. Then, we define the concrete syntax and executable activity alge-bra (EAA) semantics for executable models. The semantics func-tions are introduced to translating the syntax description of exe-cutable models into the item of EAA. To support the execution of models, we propose the executable rules which are the structural operational semantics of EAA. Finally, an area air defense of the C4ISR system is used to illustrate the feasibility of the approach.