Analysis of hypergraph transformation systems in AGG based on M-functors
Analysis of Hypergraph Transformation Systems in Agg based on M-Functors Page 1 Electronic
Communications of the EASST Volume 58 (2013) Proceedings of the 12th International …
Communications of the EASST Volume 58 (2013) Proceedings of the 12th International …
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 …
[PDF][PDF] Гиперграфы с полюсами как основа для создания редакторов визуальных языков
АО Сухов, ЛН Лядова… - Математика программных …, 2018 - publications.hse.ru
В статье рассматриваются различные способы формализации описания визуальных
моделей. Предлагается новая модель для создания графических языков–гиперграф с …
моделей. Предлагается новая модель для создания графических языков–гиперграф с …
[PDF][PDF] 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2013)
Hypergraph transformation systems are examples of M-adhesive transformation systems
based on M-adhesive categories. For typed attributed graph transformation systems, the tool …
based on M-adhesive categories. For typed attributed graph transformation systems, the tool …