Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Comprehensive systems: a formal foundation for multi-model consistency management |
scientific article; zbMATH DE number 7455780
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comprehensive systems: a formal foundation for multi-model consistency management |
scientific article; zbMATH DE number 7455780 |
Statements
Comprehensive systems: a formal foundation for multi-model consistency management (English)
0 references
11 January 2022
0 references
multi-modelling
0 references
inter-model consistency
0 references
consistency verification
0 references
consistency restoration
0 references
model synchronisation
0 references
multi-directional transformations (MX)
0 references
model merging
0 references
model weaving
0 references
graph diagrams
0 references
triple graph grammars
0 references
category theory
0 references
adhesive categories
0 references
0 references
0 references
