Institute for Computer Research presents a seminar on
"Applications of incremental pattern matching in model transformations"
Budapest University of Technology and Economics
Tuesday, August 10, 2010
University of Waterloo, Davis Centre, Room DC 1304
Graph transformation provides a high-level rule and pattern-based manipulation language for graph models. In graph transformation, the most cost-intensive phase of a transformation execution is pattern matching, where those subgraphs of a model graph are identified and matched which satisfy constraints prescribed by graph patterns. Incremental pattern matching aims to improve the efficiency of this critical step by storing the set of matches of a graph transformation rule and incrementally maintaining it as the model changes, thus eliminating the need of recalculating existing matches of a pattern. In recent research papers, we have shown through benchmark examples that incremental pattern matching has a significant advantage in the application domain of model simulation and model synchronization. In the presentation, I show how incremental pattern matching can be used beyond just performance enhancements; I demonstrate new specification techniques (change-driven transformations) as well as interesting new applications of incremental graph transformations in constraint satisfaction solving and stochastic network simulation. In the final part of the presentation, I also give a preview of our newest implementation of incremental pattern matching technology: EMF-IncQuery uses the VIATRA2-RETE engine directly over EMF models and can be used e.g. for instantaneous constraint evaluation over large EMF models. This technology will be first presented officially at the MODELS conference this year.
István Ráth is a PhD candidate at the Budapest University of Technology and Economics, working with Dr. Dániel Varró. His main research interest is model-driven systems development with a special focus on domain-specific languages and incremental model transformations. He is the chief technological architect and R&D coordinator of the VIATRA2 project (http://eclipse.org/gmt/VIATRA2), and a regular contributor of the SENSORIA, MOGENTES and SecureChange European Union research projects.
Sponsored by the Ontario Research Fund (ORF) Research Excellence Project: "Software Service Engineering"
200 University Avenue West
Waterloo, ON N2L 3G1