Software & Systems Modeling

, Volume 13, Issue 1, pp 209–238

Domain-specific discrete event modelling and simulation using graph transformation

  • Juan de Lara
  • Esther Guerra
  • Artur Boronat
  • Reiko Heckel
  • Paolo Torrini
Theme Section Paper

DOI: 10.1007/s10270-012-0242-3

Cite this article as:
de Lara, J., Guerra, E., Boronat, A. et al. Softw Syst Model (2014) 13: 209. doi:10.1007/s10270-012-0242-3

Abstract

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 to accurately represent the behaviour of a real system and to obtain useful simulation metrics to measure throughputs, utilization times and average delays. 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 provide rules with the ability to schedule 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 and provide an implementation on top of the rewriting logic system Maude.

Keywords

Graph transformation Discrete event simulation Domain-specific modelling 

Copyright information

© Springer-Verlag 2012

Authors and Affiliations

  • Juan de Lara
    • 1
  • Esther Guerra
    • 1
  • Artur Boronat
    • 2
  • Reiko Heckel
    • 2
  • Paolo Torrini
    • 2
  1. 1.Universidad Autónoma de MadridMadridSpain
  2. 2.University of LeicesterLeicesterUK

Personalised recommendations