Multilevel Typed Graph Transformations

DOI10.1007/978-3-030-51372-6_10zbMath1502.68161arXiv2006.14612OpenAlexW3098324946MaRDI QIDQ5100732

Adrian Rutle, Fernando Macías, U. E. Wolter

Publication date: 1 September 2022

Published in: Graph Transformation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.14612

zbMATH Keywords

pushoutpullback complementmultilevel typed graph transformationtyping chain

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Special categories (18B99) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

Related Items (3)

Language family engineering with product lines of multi-level models ⋮ Composition of multilevel domain-specific modelling languages ⋮ A generalized concurrent rule construction for double-pushout rewriting

Uses Software

• ATL
• Melanee

Cites Work

• A formal approach to the specification and transformation of constraints in MDE
• A formalisation of deep metamodelling
• ATL: A model transformation tool
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Sesqui-Pushout Rewriting
• Multi-level Model Product Lines
• Unnamed Item
• Unnamed Item

This page was built for publication: Multilevel Typed Graph Transformations