Specification Languages for Preserving Consistency between Models of Different Languages

Max Emanuel Kramer

ISBN 10: 3731507846 / ISBN 13: 9783731507840

Editore: Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Feb 2019, 2019

Riguardo questo articolo

Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 476 pp. Englisch.

Codice articolo 9783731507840

Dati bibliografici

• Titolo: Specification Languages for Preserving Consistency between Models of Different Languages
• Editore: Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Feb 2019
• Data di pubblicazione: 2019
• Lingua: Inglese
• ISBN 10: 3731507846
• ISBN 13: 9783731507840
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 210 L x 148 A x 30 P (millimetri) 210 millimetri di larghezza per 148 millimetri di altezza per 30 millimetri di profondità
• Peso: 684 grammi

Descrizione articolo

Riassunto

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.