Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories

MaRDI QIDQ3416072zbMATH OpenFDO

Authors Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer

Publication date 19 January 2007

zbMATH Keywords

typed attributed graph transformationadhesive HLR categoriescritical pair lemmalocal confluence of transformations

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Graph Transformations
• Fundamentals of algebraic graph transformation
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
• scientific article; zbMATH DE number 2016074
• Adhesive high-level replacement systems: a new categorical framework for graph transformation

Cited in

(19)

• High-Level Programs and Program Conditions
• Translating essential OCL invariants to nested graph constraints focusing on set operations
• A Unified Categorical Approach for Attributed Graph Rewriting
• The PBPO graph transformation approach
• Symbolic graphs for attributed graph constraints
• Algebraic properties and transformations of monographs
• Verification of graph grammars using a logical approach
• Attributed graph transformation with node type inheritance
• Graph Transformations
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
• Variability-based model transformation: formal foundation and application
• Explicit State Model Checking for Graph Grammars
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Graph transformations for object-oriented refinement
• A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems
• A graph-based generic type system for object-oriented programs
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• Theorem proving graph grammars with attributes and negative application conditions
• Multilevel typed graph transformations

This page was built for publication: Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3416072)