Incremental pattern matching in the VIATRA model transformation system
| Title | Incremental pattern matching in the VIATRA model transformation system |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Bergmann, G., Ökrös, A., Ráth, I., Varró, D., and Varró, G. |
| Editor | Karsai, G., and Taentzer, G. |
| Conference Name | Proc. Graph and Model Transformations (GRAMOT 2008) |
| Publisher | ACM |
| Keywords | domain-specific languages, incremental graph pattern matching, incremental model transformation, Viatra |
| Abstract | 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 | http://www.mit.bme.hu/ varro/publication/2008/gramot08-borvv.pdf |
