Specification Languages for Preserving Consistency between Models of Different Languages

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

Full description

Saved in:
Bibliographic Details
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:
Online Access:DOAB: download the publication
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Physical Description:1 electronic resource (XX, 440 p. p.)
ISBN:KSP/1000081446
9783731507840
Access:Open Access