Specification Languages for Preserving Consistency between Models of Different Languages
Seiten
2019
KIT Scientific Publishing (Verlag)
9783731507840 (ISBN)
KIT Scientific Publishing (Verlag)
9783731507840 (ISBN)
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.
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.
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.
| Erscheinungsdatum | 27.06.2019 |
|---|---|
| Reihe/Serie | The Karlsruhe Series on Software Design and Quality ; 24 |
| Zusatzinfo | graph. Darst. |
| Sprache | englisch |
| Maße | 148 x 210 mm |
| Gewicht | 860 g |
| Themenwelt | Mathematik / Informatik ► Informatik |
| Schlagworte | Konsistenz Synchronisierung Sprache • Modell Transformation • Modell Transformation Konsistenz Synchronisierung • Modell Transformation Konsistenz Synchronisierung Sprache • Model Transformation Consistency Synchronisation L • Model Transformation Consistency Synchronisation Language |
| ISBN-13 | 9783731507840 / 9783731507840 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
BILDNER Verlag
CHF 55,85
Schritt für Schritt einfach erklärt
Buch | Hardcover (2024)
Markt + Technik (Verlag)
CHF 20,90
das Praxishandbuch
Buch | Hardcover (2024)
Markt + Technik Verlag
CHF 27,90
