Advanced model consistency restoration with higher-order short-cut rules

DOI10.46298/LMCS-20(3:25)2024MaRDI QIDQ6635508zbMATH OpenFDO

Authors Lars Fritsche, Jens Kosiol, Alexander Lauer, Adrian Möller, Andy Schürr

Publication date 12 November 2024

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-20(3:25)2024

zbMATH Keywords

consistency restorationleast-change synchronisationmodel synchronisationtriple-graph grammars

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Advanced consistency restoration with higher-order short-cut rules
• Incremental concurrent model synchronization using triple graph grammars
• Efficient model synchronization with precedence triple graph grammars
• Multiple model synchronization with multiary delta lenses
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput

Cites work

• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• Advanced consistency restoration with higher-order short-cut rules
• Compositionality of rewriting rules with conditions
• Edit lenses
• Efficient model synchronization with precedence triple graph grammars
• Formal analysis of model transformations based on triple graph grammars
• Fundamentals of algebraic graph transformation
• Incremental concurrent model synchronization using triple graph grammars
• Incremental updates for efficient bidirectional transformations
• Leveraging incremental pattern matching techniques for model synchronisation
• Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
• Specification of graph translators with triple graph grammars

Cited in

(1)

• Advanced consistency restoration with higher-order short-cut rules

This page was built for publication: Advanced model consistency restoration with higher-order short-cut rules

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