KIT Scientific Publishing

Im Shop suchen

51,00 €

inkl. 7 % USt. exkl. Versandkosten

Max Emanuel Kramer

Specification Languages for Preserving Consistency between Models of Different Languages

(The Karlsruhe Series on Software Design and Quality ; 24)

AutorKramer, Max Emanuel

VerlagKIT Scientific Publishing, Karlsruhe

ISBN9783731507840

UmfangXX, 440 S.

Veröffentlicht
am:
30.01.2019

Erscheinungs-
jahr
2019

Verfügbarkeit04

Mehr zu Max Emanuel Kramer

Downloads:

Für Zitate bitte die folgende URL verwenden:
http://dx.doi.org/10.5445/KSP/1000081446

Abstract

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.