Specification Languages for Preserving Consistency between Models of Different Languages

Max Emanuel Kramer

ISBN 10: 3731507846 / ISBN 13: 9783731507840

Verlag: Karlsruher Institut für Technologie, 2019

Beschreibung

Specification Languages for Preserving Consistency between Models of Different Languages | Max Emanuel Kramer | Taschenbuch | 476 S. | Englisch | 2019 | Karlsruher Institut für Technologie | EAN 9783731507840 | Verantwortliche Person für die EU: KIT Scientific Publishing, Straße am Forum 2, 76131 Karlsruhe, info[at]ksp[dot]kit[dot]edu | Anbieter: preigu Print on Demand.

Bestandsnummer des Verkäufers 115375037

Bibliografische Details

• Titel: Specification Languages for Preserving Consistency between Models of Different Languages
• Verlag: Karlsruher Institut für Technologie
• Erscheinungsjahr: 2019
• Sprache: Englisch
• ISBN-10: 3731507846
• ISBN-13: 9783731507840
• Einband: Taschenbuch
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

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.