Domain-specific discrete event modelling and simulation using graph transformation
Entity
UAM. Departamento de Ingeniería InformáticaPublisher
Springer Berlin HeidelbergDate
2014-02Citation
10.1007/s10270-012-0242-3
Software and Systems Modeling 13.1 (2014): 209-238
ISSN
1619-1366 (print); 1619-1374 (online)DOI
10.1007/s10270-012-0242-3Funded by
Work partially sponsored by the Spanish Ministry, under project “Go Lite” (TIN2011-24139) as well as by the R&D programme of the Community of Madrid, project “e-Madrid” (S2009/TIC-1650). We are grateful to the anonymous reviewers, which helped in improving previous versions of the paper.Project
Comunidad de Madrid. S2009/TIC-1650/E-MADRIDEditor's Version
http://dx.doi.org/10.1007/s10270-012-0242-3Subjects
Discrete event simulation; Domain-specific modelling; Graph transformation; InformáticaNote
The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-012-0242-3Rights
© Springer-Verlag Berlin Heidelberg 2014Abstract
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.
Files in this item
Google Scholar:Lara Jaramillo, Juan de
-
Guerra Sánchez, Esther
-
Boronat, Artur
-
Heckel, Reiko
-
Torrini, Paolo
This item appears in the following Collection(s)
Related items
Showing items related by title, author, creator and subject.