Graph and model transformation
Graphs are important structures in mathematics, computer science and several other
research and application areas. The concepts of graph transformation and graph grammars …
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 …
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
For typed attributed graph transformation systems, the tool environment Agg supports
modelling, simulation and analysis of graph transformations. A corresponding tool for …
modelling, simulation and analysis of graph transformations. A corresponding tool for …