Graph Transformations

DOI10.1007/B100934MaRDI QIDQ5292593zbMATH OpenOpenAlexFDO

Authors Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer

Publication date 21 June 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100934

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 2016074
• Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
• Publication:4941931
• Attributed graph transformation with node type inheritance
• Graph Transformations
• scientific article; zbMATH DE number 969071
• Towards the Verification of Attributed Graph Transformation Systems
• Transformation of typed composite graphs with inheritance and containment structures
• Multilevel typed graph transformations

Cited in

(18)

• Pregeometric spaces from Wolfram model rewriting systems as homotopy types
• A general attribution concept for models in \({\mathcal M}\)-adhesive transformation systems
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
• Attributed Graph Constraints
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• A Unified Categorical Approach for Attributed Graph Rewriting
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• A formalisation of deep metamodelling
• A logical approach to graph databases
• Efficient conflict detection in graph transformation systems by essential critical pairs
• A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams
• Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
• Single pushout rewriting in comprehensive systems of graph-like structures
• Amalgamation of domain specific languages with behaviour
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Multilevel typed graph transformations
• Attributed graph transformation with node type inheritance
• Towards the Verification of Attributed Graph Transformation Systems

Describes a project that uses

Uses Software

• AGG

This page was built for publication: Graph Transformations

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