Comprehensive systems: a formal foundation for multi-model consistency management

DOI10.1007/s00165-021-00555-2OpenAlexW3188612493MaRDI QIDQ2065549

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

Publication date: 11 January 2022

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00555-2

zbMATH Keywords

category theoryadhesive categoriesconsistency restorationtriple graph grammarsconsistency verificationgraph diagramsinter-model consistencymodel mergingmodel synchronisationmodel weavingmulti-directional transformations (MX)multi-modelling

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (2)

Towards Multiple Model Synchronization with Comprehensive Systems ⋮ Single Pushout Rewriting in Comprehensive Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A formal approach to the specification and transformation of constraints in MDE
• Algebraic approach to single-pushout graph transformation
• Categories of partial maps
• Topoi. The categorial analysis of logic
• Introduction to extensive and distributive categories
• Multi-view consistency in UML: a survey
• Introduction to bidirectional transformations
• Adhesive subcategories of functor categories with instantiation to partial triple graphs
• Multiple model synchronization with multiary delta lenses with amendment and K-Putput
• Fundamentals of algebraic graph transformation
• A Diagrammatic Logic for Object-Oriented Visual Modeling
• Orthographic Software Modeling: A Practical Approach to View-Based Development
• What Is a Multi-modeling Language?
• Tableau-Based Reasoning for Graph Properties
• Ontology Matching
• Correctness of high-level transformation systems relative to nested conditions
• Handbook of Graph Grammars and Computing by Graph Transformation
• Hereditary Pushouts Reconsidered
• Incremental Concurrent Model Synchronization using Triple Graph Grammars
• Towards Multiple Model Synchronization with Comprehensive Systems
• Single Pushout Rewriting in Comprehensive Systems
• Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques
• Change-Preserving Model Repair
• Combinators for bi-directional tree transformations
• Foundations of Software Science and Computation Structures
• An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
• Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
• A survey of approaches to automatic schema matching

This page was built for publication: Comprehensive systems: a formal foundation for multi-model consistency management