Constructing optimized validity-preserving application conditions for graph transformation rules

DOI10.1007/978-3-030-23611-3_11MaRDI QIDQ2292977zbMATH OpenOpenAlexFDO

Authors Nebras Nassar, Jens Kosiol, Thorsten Arendt, 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

constraintscorrectnessgraph transformation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Constructing optimized constraint-preserving application conditions for model transformation rules
• scientific article; zbMATH DE number 1231489
• Constructing constraint-preserving interaction schemes in adhesive categories
• Correctness of high-level transformation systems relative to nested conditions
• Constraint-preserving architecture transformations: A graph rewriting approach

Cited in

(5)

• Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
• Analysis of graph transformation systems: native vs translation-based techniques
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations
• Constructing optimized constraint-preserving application conditions for model transformation rules

Describes a project that uses

Uses Software

• ENFORCe
• OCL2AC
• OCLinEcore

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

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