Towards Multiple Model Synchronization with Comprehensive Systems

DOI10.1007/978-3-030-45234-6_17OpenAlexW3019723010MaRDI QIDQ5039539

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)

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

zbMATH Keywords

category theorytriple graph grammarsgraph diagramsinter-model consistencymodel mergingmodel synchronizationmultimodellingmultidirectional transformations (MX)

Mathematics Subject Classification ID

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

Related Items (3)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-view consistency in UML: a survey
• Comprehensive systems: a formal foundation for multi-model consistency management
• Adhesive subcategories of functor categories with instantiation to partial triple graphs
• Multiple model synchronization with multiary delta lenses
• Fundamentals of algebraic graph transformation
• Orthographic Software Modeling: A Practical Approach to View-Based Development
• On Pushouts of Partial Maps
• Ontology Matching
• Categories and Computer Science
• Leveraging Incremental Pattern Matching Techniques for Model Synchronisation
• A survey of approaches to automatic schema matching

This page was built for publication: Towards Multiple Model Synchronization with Comprehensive Systems