Formal model-driven engineering approach for composable simulations

The press for the composability of large-scale joint Model and Simulation is widely acknowledged. To answer the main problems of composable simulation realization, the functional structure model of multi-level simulation was deeply analyzed and elicited. According to the related MDE concepts, a framework of simulation design which covers the whole lifecycle of system development was established. Based on formal methods and π-Languages, the model mapping mechanism was set up for the implementation of different type model association and transformation. A series of toolsets were developed to support the approach and applied to a large-scale distributed simulation system development.