Incremental pattern matching in the VIATRA model transformation system

TitleIncremental pattern matching in the VIATRA model transformation system
Publication TypeConference Paper
Year of Publication2008
AuthorsBergmann, G., Ökrös, A., Ráth, I., Varró, D., and Varró, G.
EditorKarsai, G., and Taentzer, G.
Conference NameProc. Graph and Model Transformations (GRAMOT 2008)
Keywordsdomain-specific languages, incremental graph pattern matching, incremental model transformation, Viatra

Incremental pattern matching is a key challenge for many tool integration, model synchronization and (discrete-event) model simulation tasks. An incremental pattern matching engine explicitly stores existing matches, while these matches are maintained incrementally with respect to the changes of the underlying model. In the current paper, we present an adaptation of RETE networks [6] in order to provide incremental support for the transformation language of the VIATRA2 framework. We evaluate the performance of the incremental engine on a problem assessing the speedup of incremental processing in the case of as-long-as-possible type of rule applications.

URL varro/publication/2008/gramot08-borvv.pdf