Constructing optimized validity-preserving application conditions for graph transformation rules

DOI10.1007/978-3-030-23611-3_11zbMath1429.68092OpenAlexW2953399022MaRDI QIDQ2292977

Thorsten Arendt, Jens Kosiol, Nebras Nassar, Gabriele Taentzer

Publication date: 6 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23611-3_11

zbMATH Keywords

correctnessconstraintsgraph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

Graph Consistency as a Graduated Property ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules

Uses Software

• OCLinEcore
• OCL2AC
• ENFORCe

This page was built for publication: Constructing optimized validity-preserving application conditions for graph transformation rules