ABSTRACT
This chapter shows how the Discrete EVent system Specification (DEVS) can be used as a semantic domain for the control structures in a model/graph transformation system. It introduces people running example, an extended version of a recent benchmark for graph transformation. The chapter shows how extending the metamodel of DEVS allows for the introduction of programmed model/ graph transformation. It illustrates a solution to the case study problem using that transformation language. The chapter shows how the notion of time can elegantly be added to a transformation ultimately allowing real-time deployment using the notion of time inherent in DEVS. It compares people DEVS-based approach to other graph transformation approaches. The chapter also shows how the modularity and expressiveness of DEVS allow for elegant encapsulation of model transformation building blocks. For the simulation experiments, an initial model was used with the following setup: eight nodes, one hill, and one node counter and no ants.
