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

DOI10.46298/lmcs-20(3:25)2024MaRDI QIDQ6635508

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

Publication date: 12 November 2024

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

zbMATH Keywords

consistency restorationmodel synchronisationleast-change synchronisationtriple-graph grammars

Mathematics Subject Classification ID

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

Cites Work

• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• Fundamentals of algebraic graph transformation
• Efficient Model Synchronization with Precedence Triple Graph Grammars
• Edit lenses
• Leveraging Incremental Pattern Matching Techniques for Model Synchronisation
• Incremental Concurrent Model Synchronization using Triple Graph Grammars
• Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
• Compositionality of Rewriting Rules with Conditions
• Incremental updates for efficient bidirectional transformations
• Formal analysis of model transformations based on triple graph grammars
• Specification of graph translators with triple graph grammars
• 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