KIT | KIT-Bibliothek | Impressum | Datenschutz

Specification Languages for Preserving Consistency between Models of Different Languages

Kramer, Max Emanuel

Abstract (englisch):

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.


Volltext §
DOI: 10.5445/KSP/1000081446
Veröffentlicht am 16.01.2019
Die gedruckte Version dieser Publikation können Sie hier kaufen.
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Hochschulschrift
Publikationsjahr 2019
Sprache Englisch
Identifikator ISBN: 978-3-7315-0784-0
ISSN: 1867-0067
urn:nbn:de:0072-814462
KITopen-ID: 1000081446
Verlag KIT Scientific Publishing
Umfang XX, 440 S.
Serie The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ; 24
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Programmstrukturen und Datenorganisation (IPD)
Prüfungsdaten 10.02.2017
Prüfungsdatum 10.02.2017
Projektinformation KASTEL_IoE (BMBF, 16KIS0346)
Schlagwörter Modell Transformation Konsistenz Synchronisierung Sprache,, Model Transformation Consistency Synchronisation Language
Relationen in KITopen
Referent/Betreuer Reussner, R. H.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page