Design And Implementation Of Agile Modeling And Simulation Based On DEVS

Recently,Many fields,such as Meta-synthetic Engineering,emergency decision-making and decision support for combat issues,require the simulation system to be open,flexible,scalable,composable,strongly interactive and adaptive.Such systems are classified as agile simulation.Based on the theory of agile simulation,this dissertation uses the Discrete Event System Specification(DEVS)as the meta-model to study the design and implementation of agile simulation system and further studies the structure agility,multi-resolution modeling agility and behavior agility of models.The main work and innovation can be summarized as follows:(1)This dissertation proposed a framework of "DEVS + extensible framework + domain specific language" to study the agility of simulation system.Based on the open source code Ruby-DEVS,a discrete event modeling and simulation system is designed and implemented.DEVS enables the system to support bottom-up and hierarchical building of simulation models;domain-specific language is conducive to the understanding and use of domain experts to improve system interactivity;and an extensible framework allows the system to extend the model,simulator and domain specific language independently.(2)For structure agility,this paper studies the formal specification DSDEVS(Dynamic Structure DEVS)for variable structure models and designs and implements the modeling and simulation methods for the DSDEVS specification.The implemented system allows the model structure to dynamically change during the run-time and enables to reuse those models that were not previously considered for variable structure.(3)For multi-resolution modeling agility,this paper proposed a formal specification MRM-DEVS for multi-resolution modeling(MRM),and designes and implementes the modeling and simulation methods for MRM-DEVS specification.The implemented system allows the resolution models to run concurrently,and supports the hierarchical construction of multi-resolution models,as well as enables to reuse those models that were not previously considered for multi-resolution modeling.(4)For behavior agility,this paper proposes a formal specification FSM-DEVS for behavior modeling,and further designs and implements the modeling and simulation methods for the FSM-DEVS specification.FSM-DEVS combines the advantages of to model the complex behaviors using state machines and the advantage of modularity and hierarchical modeling approach brought by DEVS specification.It can be used to describe multi-level and concurrent behaviors,which greatly improves the ability to model complex behaviors.