Constructing optimized constraint-preserving application conditions for model transformation rules

DOI10.1016/J.JLAMP.2020.100564MaRDI QIDQ780069zbMATH OpenOpenAlexFDO

Authors Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer

Publication date 14 July 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.100564

zbMATH Keywords

constraintsgraph transformationcorrectnessmodel transformationvalidity preservation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Constructing optimized validity-preserving application conditions for graph transformation rules
• A formal approach to the specification and transformation of constraints in MDE
• Analysing graph transformation systems through constraint handling rules

Cites work

• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• Adhesive and quasiadhesive categories
• Categorical frameworks for graph transformation and HLR systems based on the DPO approach
• Change-Preserving Model Repair
• Constraint Logic Programming Using ECLⁱPS^e
• Constructing constraint-preserving interaction schemes in adhesive categories
• Constructing optimized validity-preserving application conditions for graph transformation rules
• Correctness of high-level transformation systems relative to nested conditions
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Graph and model transformation. General framework and applications
• Inductive invariant checking with partial negative application conditions
• Probabilistic graph transformation systems
• Sesqui-Pushout Rewriting
• \(k\)-inductive invariant checking for graph transformation systems

Cited in

(5)

• Constructing constraint-preserving interaction schemes in adhesive categories
• Constructing optimized validity-preserving application conditions for graph transformation rules
• scientific article; zbMATH DE number 7456048 (Why is no real title available?)
• scientific article; zbMATH DE number 7456052 (Why is no real title available?)
• Preface to the special issue on the 12th international conference on graph transformation

Describes a project that uses

Uses Software

• ENFORCe
• OCL2AC
• OCLinEcore
• Henshin

This page was built for publication: Constructing optimized constraint-preserving application conditions for model transformation rules

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