@inproceedings {Rath-vlhcc08,
	title = {Design-time simulation of domain-specific models by incremental pattern matching},
	booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings},
	year = {2008},
	note = {Acceptance rate: 29\%},
	pages = {219-222},
	publisher = {IEEE},
	organization = {IEEE},
	abstract = {<p>
	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.</p>
},
	keywords = {Viatra},
	url = {http://dx.doi.org/10.1109/VLHCC.2008.4639089},
	author = {Istv{\'a}n R{\'a}th and D{\'a}vid V{\'a}g{\'o} and D{\'a}niel Varr{\'o}}
}
