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...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Online |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
KIT Scientific Publishing
2021
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | 35566 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| _version_ | 1869515990185803776 |
|---|---|
| author | Kramer, Max Emanuel |
| author_browse | Kramer, Max Emanuel |
| author_facet | Kramer, Max Emanuel |
| author_sort | Kramer, Max Emanuel |
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-59815 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | KIT Scientific Publishing |
| publisherStr | KIT Scientific Publishing |
| record_format | ojs |
| spelling | doab-20.500.12854ir-598152023-12-20T18:40:42Z Specification Languages for Preserving Consistency between Models of Different Languages Kramer, Max Emanuel QA75.5-76.95 Model Transformation Consistency Synchronisation Language Modell Transformation Konsistenz Synchronisierung Sprache bic Book Industry Communication::U Computing & information technology::UY Computer science 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. 2021-02-12T04:14:36Z 2021-02-12T04:14:36Z 2019-07-30 20:02:02 2019 book 35566 18670067 9783731507840 https://directory.doabooks.org/handle/20.500.12854/59815 eng The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner image/jpeg Attribution-ShareAlike 4.0 International https://www.ksp.kit.edu/9783731507840 KIT Scientific Publishing 10.5445/KSP/1000081446 10.5445/KSP/1000081446 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 9783731507840 XX, 440 p. open access |
| spellingShingle | QA75.5-76.95 Model Transformation Consistency Synchronisation Language Modell Transformation Konsistenz Synchronisierung Sprache bic Book Industry Communication::U Computing & information technology::UY Computer science Kramer, Max Emanuel Specification Languages for Preserving Consistency between Models of Different Languages |
| title | Specification Languages for Preserving Consistency between Models of Different Languages |
| title_full | Specification Languages for Preserving Consistency between Models of Different Languages |
| title_fullStr | Specification Languages for Preserving Consistency between Models of Different Languages |
| title_full_unstemmed | Specification Languages for Preserving Consistency between Models of Different Languages |
| title_short | Specification Languages for Preserving Consistency between Models of Different Languages |
| title_sort | specification languages for preserving consistency between models of different languages |
| topic | QA75.5-76.95 Model Transformation Consistency Synchronisation Language Modell Transformation Konsistenz Synchronisierung Sprache bic Book Industry Communication::U Computing & information technology::UY Computer science |
| topic_facet | QA75.5-76.95 Model Transformation Consistency Synchronisation Language Modell Transformation Konsistenz Synchronisierung Sprache bic Book Industry Communication::U Computing & information technology::UY Computer science |
| url | 35566 |
| work_keys_str_mv | AT kramermaxemanuel specificationlanguagesforpreservingconsistencybetweenmodelsofdifferentlanguages |