9783731507635.pdf
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implic...
| Γλώσσα: | English |
|---|---|
| Έκδοση: |
KIT Scientific Publishing
2021
|
| id |
oapen-20.500.12657-50454 |
|---|---|
| record_format |
dspace |
| spelling |
oapen-20.500.12657-504542021-08-17T02:49:20Z Implicit Incremental Model Analyses and Transformations Hinkel, Georg Incrementalization Model Analysis Model Transformation Synchronization Blocks Inkrementalisierung Modellanalyse Modelltransformation Synchronisierungsblöcke bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC). 2021-08-16T09:31:29Z 2021-08-16T09:31:29Z 2021 book ONIX_20210816_9783731507635_15 1867-0067 9783731507635 https://library.oapen.org/handle/20.500.12657/50454 eng The Karlsruhe Series on Software Design and Quality application/pdf n/a 9783731507635.pdf KIT Scientific Publishing KIT Scientific Publishing 10.5445/KSP/1000080522 10.5445/KSP/1000080522 44e29711-8d53-496b-85cc-3d10c9469be9 9783731507635 KIT Scientific Publishing 31 498 Karlsruhe open access |
| institution |
OAPEN |
| collection |
DSpace |
| language |
English |
| description |
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC). |
| title |
9783731507635.pdf |
| spellingShingle |
9783731507635.pdf |
| title_short |
9783731507635.pdf |
| title_full |
9783731507635.pdf |
| title_fullStr |
9783731507635.pdf |
| title_full_unstemmed |
9783731507635.pdf |
| title_sort |
9783731507635.pdf |
| publisher |
KIT Scientific Publishing |
| publishDate |
2021 |
| _version_ |
1771297614222852096 |
