A State-Centered Multi-formalism Behavioral Modeling Method for Combat System Effectiveness Simulation

Behavioral modeling is a pivot modeling issue in combat system effectiveness simulation. There are different aspects of combat behaviors which need to be modeled with multiple modeling and simulation formalisms. In this paper, we firstly analyze the characteristics of different combat behavior aspects and the choice of formalisms to cope with a specific behavioral aspect. Then we propose a state-centered multi-formalism behavioral modeling method. We also build a metamodel and a modeling environment to provide infrastructure support for this method. Finally a case study on missile behavior modeling is given. The proposed method can enable the modeler to describe different aspects of the combat behaviors appropriately by using suitable formalisms, and thus support effectiveness simulation under the background of system-of-systems counterwork.