|
|
|
|
LEADER |
01706nma a2200289 u 4500 |
001 |
EB001965944 |
003 |
EBX01000000000000001128846 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
210512 ||| eng |
020 |
|
|
|a 9783731507840
|
020 |
|
|
|a 1000081446
|
100 |
1 |
|
|a Kramer, Max Emanuel
|
245 |
0 |
0 |
|a Specification Languages for Preserving Consistency between Models of Different Languages
|h Elektronische Ressource
|
260 |
|
|
|b KIT Scientific Publishing
|c 2019
|
300 |
|
|
|a 1 electronic resource (XX, 440 p. p.)
|
653 |
|
|
|a Modell Transformation Konsistenz Synchronisierung Sprache
|
653 |
|
|
|a Model Transformation Consistency Synchronisation Language
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b DOAB
|a Directory of Open Access Books
|
490 |
0 |
|
|a The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
|
500 |
|
|
|a Creative Commons (cc), https://creativecommons.org/licenses/by-sa/4.0/
|
024 |
8 |
|
|a 10.5445/KSP/1000081446
|
856 |
4 |
0 |
|u https://www.ksp.kit.edu/9783731507840
|7 0
|x Verlag
|3 Volltext
|
856 |
4 |
2 |
|u https://directory.doabooks.org/handle/20.500.12854/59815
|z DOAB: description of the publication
|
082 |
0 |
|
|a 400
|
520 |
|
|
|a 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.
|