Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs

DOI10.1016/J.JLAMP.2020.100565zbMath1452.68096OpenAlexW3031315437MaRDI QIDQ2192461

Gabriele Taentzer, Lars Fritsche, Jens Kosiol, Andy Schürr

Publication date: 17 August 2020

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100565

zbMATH Keywords

functor categoryadhesive categorydouble-pushout-rewritingtriple graphs

Mathematics Subject Classification ID

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

Related Items (3)

Preface to the special issue on the 12th international conference on graph transformation ⋮ A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework ⋮ A generalized concurrent rule construction for double-pushout rewriting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Foundations of algebraic specification and formal software development.
• Algebraic approach to single-pushout graph transformation
• Construction and properties of adhesive and weak adhesive high-level replacement categories
• Categories of partial maps
• Introduction to extensive and distributive categories
• Graph attribution through sub-graphs
• Introduction to bidirectional transformations
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Adhesive subcategories of functor categories with instantiation to partial triple graphs
• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
• Pullback in partial morphism categories
• Fundamentals of algebraic graph transformation
• Graph and model transformation. General framework and applications
• On the axioms for adhesive and quasiadhesive categories
• Van Kampen Colimits as Bicolimits in Span
• Adhesivity with Partial Maps instead of Spans
• ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
• Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars
• Efficient Model Synchronization with Precedence Triple Graph Grammars
• On Pushouts of Partial Maps
• Toposes Are Adhesive
• Categorical Foundations of Distributed Graph Transformation
• Quasitoposes, Quasiadhesive Categories and Artin Glueing
• Correctness of high-level transformation systems relative to nested conditions
• Connected limits, familial representability and Artin glueing
• Hereditary Pushouts Reconsidered
• Graph Transformations
• Adhesive and quasiadhesive categories
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

This page was built for publication: Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs