| After over thirty years of research and development, Discrete EVent system Specification (DEVS) has been widely accepted and applied in the Modelling and Simulation community. Recently, standardizing DEVS formalism and expanding DEVS application have become major challenges for DEVS researchers. In this thesis, we present our efforts to facilitate the process of DEVS modelling, and to promote DEVS standardization and application.;The Infrastructure for DEVS Modelling and Experimenting provides facilities to facilitate the DEVS modelling process at four different levels. At the modelling level, a visual DEVS modelling environment has been built, in which DEVS models can be created graphically, and simulator-neutral model representation in modelling language Modelica can be generated automatically. At the model verification level, a Modelica Model Compiler has been developed, by which the simulator-neutral model representations are checked automatically and translated into simulator-specific model representations. At the simulation level, simulation trace has been standardized using the XML DTD. Interfaces for generating standardized simulation trace represented in XML for Python DEVS has been provided. At the model validation level, a Visual DEVS Trace Plotter has been developed, by which the standardized DEVS simulation trace in XML can be plotted visually. |
