Specification Languages for Preserving Consistency between Models of Different Languages
| dc.contributor.author | Kramer, Max Emanuel | * |
| dc.date.accessioned | 2021-02-12T04:14:36Z | |
| dc.date.available | 2021-02-12T04:14:36Z | |
| dc.date.issued | 2019 | * |
| dc.date.submitted | 2019-07-30 20:02:02 | * |
| dc.identifier | 35566 | * |
| dc.identifier.issn | 18670067 | * |
| dc.identifier.uri | https://directory.doabooks.org/handle/20.500.12854/59815 | |
| dc.description.abstract | 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. | * |
| dc.language | English | * |
| dc.relation.ispartofseries | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner | * |
| dc.subject | QA75.5-76.95 | * |
| dc.subject.classification | bic Book Industry Communication::U Computing & information technology::UY Computer science | en_US |
| dc.subject.other | Model Transformation Consistency Synchronisation Language | * |
| dc.subject.other | Modell Transformation Konsistenz Synchronisierung Sprache | * |
| dc.title | Specification Languages for Preserving Consistency between Models of Different Languages | * |
| dc.type | book | |
| oapen.identifier.doi | 10.5445/KSP/1000081446 | * |
| oapen.relation.isPublishedBy | 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 | * |
| oapen.relation.isbn | 9783731507840 | * |
| oapen.pages | XX, 440 p. | * |
| oapen.volume | 24 | * |
| peerreview.review.type | Full text | |
| peerreview.anonymity | All identities known | |
| peerreview.reviewer.type | Editorial board member | |
| peerreview.reviewer.type | External peer reviewer | |
| peerreview.review.stage | Pre-publication | |
| peerreview.open.review | No | |
| peerreview.publish.responsibility | Books or series editor | |
| peerreview.id | 51a542ec-eaeb-47c2-861d-6022e981a97a | |
| peerreview.title | Dissertations in Series (Dissertationen in Schriftenreihe) |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||
Ce document figure dans la(les) collection(s) suivante(s)
Excepté là où spécifié autrement, la license de ce document est décrite en tant que https://creativecommons.org/licenses/by-sa/4.0/