Design-time simulation of domain-specific models by incremental pattern matching

CímDesign-time simulation of domain-specific models by incremental pattern matching
Közlemény típusaConference Paper
Kiadás éve2008
SzerzőkRáth, I., Vágó, D., and Varró, D.
Konferencia neveIEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings
KiadóIEEE
KulcsszavakViatra
Összefoglalás

In this paper, we present a general purpose discrete event simulation framework for domain-specific visual languages describing system behavior. In our framework, the dynamic semantics of the language is captured by a combination of graph transformation and abstract state machine rules as provided by the model transformation language of VIATRA2, which allows to capture complex model changes at each simulation step. For an efficient execution of the simulation, incremental graph pattern matching is used to avoid the re-computation of enabledness conditions of simulation rules by incrementally keeping track of rule contexts.

JegyzetekAcceptance rate: 29%
URLhttp://dx.doi.org/10.1109/VLHCC.2008.4639089