Title :
Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation
Author :
Barros, Fernando J.
Author_Institution :
Dept. de Engenharia Inf., Coimbra Univ., Portugal
Abstract :
Traditional simulation methodologies do not support changes in model structure during a simulation run. Current methodologies support only changes in model descriptive variables. Changes in structure are thus forced to be represented at the simple behavioral level. Many models are better represented at both behavioral and structural level. We present a new simulation formalism that fully supports changes in model structure and its closure under coupling. The Dynamic Structure Discrete Event System Specification formalism (DSDEVS) supports a new simulation paradigm, structural simulation, as opposed to conventional trajectory simulation. This new formalism supports changes in structure to the full extent, ranging from simple model/connection add/deletion to the exchange of models between network of models. The DELTA simulation environment, an implementation of the DSDEVS formalism, is briefly described
Keywords :
discrete event simulation; formal specification; programming environments; DELTA simulation environment; DSDEVS formalism; dynamic structure discrete event system specification; dynamic structure modeling; dynamic structure simulation; model descriptive variables; model structure; simulation formalism; structural simulation; Adaptive systems; Computational modeling; Computer architecture; Discrete event simulation; Discrete event systems; Fault tolerant systems;
Conference_Titel :
Simulation Conference Proceedings, 1995. Winter
Conference_Location :
Arlington, VA
Print_ISBN :
0-78033018-8
DOI :
10.1109/WSC.1995.478858