Advanced consistency restoration with higher-order short-cut rules

DOI10.1007/978-3-031-36709-0_10zbMATH Open1545.68057MaRDI QIDQ6535514FDOQ6535514

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

Publication date: 12 January 2024

Recommendations

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

zbMATH Keywords

consistency restorationmodel synchronisationleast-change synchronisationtriple-graph grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Fundamentals of algebraic graph transformation
• Specification of graph translators with triple graph grammars
• Compositionality of rewriting rules with conditions
• 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
• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• Efficient model synchronization with precedence triple graph grammars
• Formal analysis of model transformations based on triple graph grammars

Cited In (1)

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

This page was built for publication: Advanced 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 Q6535514)