Towards multiple model synchronization with comprehensive systems

DOI10.1007/978-3-030-45234-6_17MaRDI QIDQ5039539zbMATH OpenOpenAlexFDO

Authors Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle

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_17

zbMATH Keywords

category theorygraph diagramsinter-model consistencymodel mergingmodel synchronizationmultidirectional transformations (MX)multimodellingtriple graph grammars

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Comprehensive systems: a formal foundation for multi-model consistency management
• Multiple model synchronization with multiary delta lenses
• Incremental concurrent model synchronization using triple graph grammars
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• On Scenario Synchronization

Cites work

• A survey of approaches to automatic schema matching
• Adhesive subcategories of functor categories with instantiation to partial triple graphs
• Categories and Computer Science
• Comprehensive systems: a formal foundation for multi-model consistency management
• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 5605140 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• Leveraging incremental pattern matching techniques for model synchronisation
• Multi-view consistency in UML: a survey
• Multiple model synchronization with multiary delta lenses
• On pushouts of partial maps
• Ontology Matching
• Orthographic software modeling: A practical approach to view-based development

Cited in

(8)

• Single pushout rewriting in comprehensive systems of graph-like structures
• Comprehensive systems: a formal foundation for multi-model consistency management
• Composition of multilevel domain-specific modelling languages
• Multiple model synchronization with multiary delta lenses
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Model View Management with Triple Graph Transformation Systems
• Incremental concurrent model synchronization using triple graph grammars
• Termination and expressiveness of execution strategies for networks of bidirectional model transformations

This page was built for publication: Towards multiple model synchronization with comprehensive systems

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