Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Comprehensive systems: a formal foundation for multi-model consistency management |
scientific article |
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
