Graph Transformation with Incremental Updates

Authors:
Gergely Varró;Dániel Varró
Affiliations:
Department of Computer Science and Information Theory, Budapest University of Technology and Economics, H-1521 Budapest, Magyar tudósok körútja 2., Hungary;Department of Measurement and Information Systems, Budapest University of Technology and Economics, H-1521 Budapest, Magyar tudósok körútja 2., Hungary
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2004

Citing 7
Cited 8

Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools

Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Efficient Graph Rewriting and Its Implementation

Efficient Graph Rewriting and Its Implementation
Database Systems: The Complete Book

Database Systems: The Complete Book
Designing the automatic transformation of visual languages

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Graph Pattern Matching in PROGRES

Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java

TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Constraint satisfaction algorithms for graph pattern matching

Mathematical Structures in Computer Science

Augur 2 --- A New Version of a Tool for the Analysis of Graph Transformation Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Live Model Transformations Driven by Incremental Pattern Matching

ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Time and Space Issues in the Generation of Graph Transition Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronization of abstract and concrete syntax in domain-specific modeling languages

Software and Systems Modeling (SoSyM)
Stochastic modelling and simulation of mobile systems

Graph transformations and model-driven engineering
Advances in model transformations by graph transformation: specification, execution and analysis

Rigorous software engineering for service-oriented systems
Applying incremental graph transformation to existing models in relational databases

ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Incremental pattern matching for the efficient computation of transitive closure

ICGT'12 Proceedings of the 6th international conference on Graph Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an efficient implementation technique for graph transformation systems based on incremental updates. The essence of the technique is to keep track of all possible matchings of graph transformation rules in database tables, and update these tables incrementally to exploit the fact that rules typically perform only local modifications to models.