Specification Languages for Preserving Consistency between Models of Different Languages

• Main Author: Kramer, Max Emanuel (auth)
• Format: Electronic Book Chapter
• Language: English
• Published: KIT Scientific Publishing 2019
• Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
• Subjects: Model Transformation Consistency Synchronisation Language; Modell Transformation Konsistenz Synchronisierung Sprache
• Online Access: DOAB: download the publication; DOAB: description of the publication

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...