Advanced consistency restoration with higher-order short-cut rules

DOI10.1007/978-3-031-36709-0_10MaRDI QIDQ6535514zbMATH OpenFDO

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

Publication date 12 January 2024

zbMATH Keywords

consistency restorationmodel synchronisationleast-change synchronisationtriple-graph grammars

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

Cites work

• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• Compositionality of rewriting rules with conditions
• 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
• 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 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)