From Algebraic Graph Transformation to Adhesive HLR Categories and Systems

DOI10.1007/978-3-540-75414-5_8MaRDI QIDQ3522863zbMATH OpenOpenAlexFDO

Authors Ulrike Prange, Hartmut Ehrig

Publication date 4 September 2008

Published in Algebraic Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75414-5_8

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
• Adhesive high-level replacement systems: a new categorical framework for graph transformation
• On term graphs as an adhesive category
• Towards algebraic high-level systems as weak adhesive HLR categories
• Graph Transformation by Computational Category Theory
• Categorical frameworks for graph transformation and HLR systems based on the DPO approach
• scientific article; zbMATH DE number 4114059
• A lattice-theoretical perspective on adhesive categories
• Refined Graph Rewriting in Span-Categories
• Special issue: Categorical approaches to computing by graph transformation

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 5604126 (Why is no real title available?)
• scientific article; zbMATH DE number 177439 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• Foundations of Software Science and Computation Structures
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Parallelism and concurrency in high-level replacement systems

Cited in

(18)

• Categorical principles, techniques and results for high-level-replacement systems in computer science
• Graph and model transformation. General framework and applications
• \(\mathcal M, \mathcal N\)-adhesive transformation systems
• scientific article; zbMATH DE number 1995117 (Why is no real title available?)
• Collagories: relation-algebraic reasoning for gluing constructions
• Towards certifiable implementation of graph transformation via relation categories
• Collagories for relational adhesive rewriting
• Adhesive high-level replacement systems: a new categorical framework for graph transformation
• Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
• Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
• On the Construction of Transformation Steps in the Category of Multiagent Systems
• scientific article; zbMATH DE number 1189283 (Why is no real title available?)
• Adhesivity with partial maps instead of spans
• An institution for graph transformation
• Subobject transformation systems
• Categorical frameworks for graph transformation and HLR systems based on the DPO approach
• Model transformations as free constructions
• scientific article; zbMATH DE number 1418365 (Why is no real title available?)

This page was built for publication: From Algebraic Graph Transformation to Adhesive HLR Categories and Systems

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