Graph Transformation for Domain-Specific Discrete Event Time Simulation
Graph transformation is being increasingly used to express the semantics of domain specific visual languages since its graphical nature makes rules intuitive. However, many application domains require an explicit handling of time in order to represent accurately the behaviour of the real system and to obtain useful simulation metrics.
Inspired by the vast knowledge and experience accumulated by the discrete event simulation community, we propose a novel way of adding explicit time to graph transformation rules. In particular, we take the event scheduling discrete simulation world view and incorporate to the rules the ability of scheduling the occurrence of other rules in the future. Hence, our work combines standard, efficient techniques for discrete event simulation (based on the handling of a future event set) and the intuitive, visual nature of graph transformation. Moreover, we show how our formalism can be used to give semantics to other timed approaches.
Unable to display preview. Download preview PDF.
- 3.de Lara, J.: Meta-modelling and graph transformation for the simulation of systems. Bulletin of the EATCS 81, 180–194 (2003)Google Scholar
- 7.Gönczy, L., Kovács, M., Varró, D.: Modeling and verification of reliable messaging by graph transformation systems. ENTCS 175(4), 37–50 (2007)Google Scholar
- 13.Rivera, J.E., Durán, F., Vallecillo, A.: A graphical approach for modeling time-dependent behavior of DSLs. In: VL/HCC 2009, pp. 51–55. IEEE, Los Alamitos (2009)Google Scholar
- 15.Strobl, T., Minas, M.: Specifying and generating editing environments for interactive animated visual models. In: GT-VMT 2010 (2010)Google Scholar
- 17.Torrini, P., Heckel, R., Rath, I.: Stochastic graph transformation with regions. In: GT-VMT 2010 (2010)Google Scholar