Compositional construction of simulation models using graph grammars

Abstract

In this paper we present an approach that uses a formal specification formalism, namely graph grammars, to describe simulation models. The construction of the models 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 the statistics of the simulation.