Finding the right way to Rome: effect-oriented graph transformation

DOI10.1007/978-3-031-36709-0_3MaRDI QIDQ6535506zbMATH OpenFDO

Authors Jens Kosiol, Daniel Strüber, Gabriele Taentzer, Steffen Zschaler

Publication date 12 January 2024

Full work available at URL https://doi.org/10.1007/978-3-031-36709-0_3

zbMATH Keywords

consistency-preserving transformationsdouble-pushout approachgraph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A tutorial on graph transformation
• scientific article; zbMATH DE number 1512612
• scientific article; zbMATH DE number 1953883
• Transformation systems with incremental negative application conditions
• How to specify a graph transformation approach: a meta model for \textsc{Fujaba}

Cites work

• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• Adhesive and quasiadhesive categories
• AGREE -- algebraic graph rewriting with controlled embedding
• Algebraic approach to single-pushout graph transformation
• Correctness of high-level transformation systems relative to nested conditions
• Correctness, completeness and termination of pattern-based model-to-model transformation
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• Fundamentals of algebraic graph transformation
• Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations
• Graph rewriting and relabeling with PBPO\textsuperscript{+}
• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• scientific article; zbMATH DE number 3907796 (Why is no real title available?)
• Linear-time graph algorithms in GP 2
• Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
• Rule-based graph repair
• Sesqui-Pushout Rewriting
• The PBPO graph transformation approach
• Variability-based model transformation: formal foundation and application

This page was built for publication: Finding the right way to Rome: effect-oriented graph transformation

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