TY  - BOOK
AU  - Kramer, Max Emanuel
AB  - When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.
DO  - 10.5445/KSP/1000081446
ID  - OAPEN ID: 35566
KW  - Model Transformation Consistency Synchronisation Language
KW  - Modell Transformation Konsistenz Synchronisierung Sprache
L1  - https://www.ksp.kit.edu/9783731507840
LA  - English
LK  - https://directory.doabooks.org/handle/20.500.12854/59815
PB  - KIT Scientific Publishing
PY  - 2019
SN  - 9783731507840
TI  - Specification Languages for Preserving Consistency between Models of Different Languagesnull
ER  - 
