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...
Saved in:
| Main Author: | |
|---|---|
| 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!
|
MARC
| LEADER | 00000naaaa2200000uu 4500 | ||
|---|---|---|---|
| 001 | doab_20_500_12854_59815 | ||
| 005 | 20210212 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20210212s2019 xx |||||o ||| 0|eng d | ||
| 020 | |a KSP/1000081446 | ||
| 020 | |a 9783731507840 | ||
| 040 | |a oapen |c oapen | ||
| 024 | 7 | |a 10.5445/KSP/1000081446 |c doi | |
| 041 | 0 | |a eng | |
| 042 | |a dc | ||
| 100 | 1 | |a Kramer, Max Emanuel |4 auth | |
| 245 | 1 | 0 | |a Specification Languages for Preserving Consistency between Models of Different Languages |
| 260 | |b KIT Scientific Publishing |c 2019 | ||
| 300 | |a 1 electronic resource (XX, 440 p. p.) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner | |
| 506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
| 520 | |a 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. | ||
| 540 | |a Creative Commons |f https://creativecommons.org/licenses/by-sa/4.0/ |2 cc |4 https://creativecommons.org/licenses/by-sa/4.0/ | ||
| 546 | |a English | ||
| 653 | |a Model Transformation Consistency Synchronisation Language | ||
| 653 | |a Modell Transformation Konsistenz Synchronisierung Sprache | ||
| 856 | 4 | 0 | |a www.oapen.org |u https://www.ksp.kit.edu/9783731507840 |7 0 |z DOAB: download the publication |
| 856 | 4 | 0 | |a www.oapen.org |u https://directory.doabooks.org/handle/20.500.12854/59815 |7 0 |z DOAB: description of the publication |