In this paper we present an approach that uses a formal specification formalism, namely graph grammars, to describe simulation models. The construction of the modes is based on the concept of parallel composition of graph grammars, that is a kind of composition that is compatible with a true concurrency semantics. We provide the guidelines for describing and smoothly integrating the different aspects of a simulation model. Namely the behaviour of the simulated system, the desired animation of the simulation and simulation an the statistics of the simulation.
展开▼