Incremental concurrent model synchronization using triple graph grammars

DOI10.1007/978-3-030-45234-6_14MaRDI QIDQ5039536zbMATH OpenOpenAlexFDO

Authors Fernando Orejas, Elvira Pino, Marisa Navarro

Publication date 13 October 2022

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-45234-6_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Efficient model synchronization with precedence triple graph grammars
• Leveraging incremental pattern matching techniques for model synchronisation
• On Scenario Synchronization
• Schema compliant consistency management via triple graph grammars and integer linear programming
• Towards multiple model synchronization with comprehensive systems

Cites work

• 15 Years of Triple Graph Grammars
• Adhesive and quasiadhesive categories
• Edit lenses
• Efficient model synchronization with precedence triple graph grammars
• Formal analysis of functional behaviour for model transformations based on triple graph grammars
• Formal analysis of model transformations based on triple graph grammars
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 5605140 (Why is no real title available?)
• Multiple model synchronization with multiary delta lenses
• On the correct translation of update operations on relational views
• Symmetric lenses
• Towards an Algebraic Theory of Bidirectional Transformations

Cited in

(10)

• Comprehensive systems: a formal foundation for multi-model consistency management
• Schema compliant consistency management via triple graph grammars and integer linear programming
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Efficient model synchronization with precedence triple graph grammars
• Conflict detection for model versioning based on graph modifications
• Leveraging incremental pattern matching techniques for model synchronisation
• Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
• Towards multiple model synchronization with comprehensive systems
• Advanced consistency restoration with higher-order short-cut rules
• Advanced model consistency restoration with higher-order short-cut rules

This page was built for publication: Incremental concurrent model synchronization using triple graph grammars

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