Rule-based graph repair

MaRDI QIDQ5020539zbMATH OpenFDO

Authors Christian Sandmann, Annegret Habel

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1912.09610, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GCM2019.5

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• A logic-based incremental approach to graph repair
• Two AGM-style characterizations of model repair
• Abstract Model Repair
• Program repair without regret
• Change-Preserving Model Repair

Cites work

• Algebraic approach to single-pushout graph transformation
• Change-Preserving Model Repair
• Deriving graphs from graphs by applying a production
• Development of Correct Graph Transformation Systems
• Fundamentals of algebraic graph transformation
• Graph and model transformation. General framework and applications
• scientific article; zbMATH DE number 1701353 (Why is no real title available?)
• Parallelism and concurrency in high-level replacement systems
• Specification of graph translators with triple graph grammars
• Translating essential OCL invariants to nested graph constraints focusing on set operations

Cited in

(5)

• scientific article; zbMATH DE number 7456048 (Why is no real title available?)
• Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations
• A logic-based incremental approach to graph repair
• Finding the right way to Rome: effect-oriented graph transformation
• Using weakest application conditions to rank graph transformations for graph repair

This page was built for publication: Rule-based graph repair

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