Graph and model transformation

H Ehrig, C Ermel, U Golas, F Hermann - Monographs in Theoretical …, 2015 - Springer
Graphs are important structures in mathematics, computer science and several other
research and application areas. The concepts of graph transformation and graph grammars …

Behavior and confluence analysis of M-adhesive transformation systems using M-functors

M Maximova - 2019 - depositonce.tu-berlin.de
For modeling dynamic systems, various graphical modeling formalisms exist. In particular,
rule-based graph transformation formalisms have proven to be adequate, both to capture …

[HTML][HTML] Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and AGG

M Maximova, H Ehrig, C Ermel - Science of Computer Programming, 2015 - Elsevier
For typed attributed graph transformation systems, the tool environment Agg supports
modelling, simulation and analysis of graph transformations. A corresponding tool for …