The Dynamic Structure Discrete Event System Specification Formalism

摘要

Conventional simulation methodologies do not support modifications in the model structure during simulation; however, models that can undergo structural changes can provide a better representation for a wide range of systems. The Dynamic Structure Discrete Event System Specification formalism (DSDEVS) supports, to a full extent, modifications in the model structure. These alterations include simple model/ connection, addition/deletion and also more complex operations like the exchange of models between networks. In the DSDEVS formalism, the network executive keeps the structure of a model as its state information. Alterations of the executive state are automatically converted to modifications in the model structure. Since the network executive is modular, the overall model is also modular. The description of the DSDEVS abstract simulators is given as well as its implementation in the DELTA simulation environment. An application to dynamic queueing networks demonstrates the utility of the DSDEVS formalism.