Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Hierarchical graph transformation
Journal of Computer and System Sciences
Graph Grammar Engineering with PROGRES
Proceedings of the 5th European Software Engineering Conference
Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Transparent distribution of real-time components based on logical execution time
LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Shaped Generic Graph Transformation
Applications of Graph Transformations with Industrial Relevance
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages
Applications of Graph Transformations with Industrial Relevance
Lessons learned from building a graph transformation system
Graph transformations and model-driven engineering
| Hi-index | 0.00 |
The usability of model transformation languages depends on the level of abstractions one can work with in rules to perform complex operations on models. Recently, we have introduced a novel operator for our model transformation language GReAT that allows the concise specification of complex model (graph) rewriting operations that manipulate entire subgraphs. In this paper we show how the new operator can be used to implement non-trivial model manipulations with fewer and simpler rules, while maintaining efficiency. The examples were motivated by problems encountered in real-life model transformations.