Implicit Incremental Model Analyses and Transformations
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | English |
| Published: |
Karlsruhe
KIT Scientific Publishing
2021
|
| Series: | The Karlsruhe Series on Software Design and Quality
|
| 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_71676 | ||
| 005 | 20210817 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20210817s2021 xx |||||o ||| 0|eng d | ||
| 020 | |a KSP/1000080522 | ||
| 020 | |a 9783731507635 | ||
| 040 | |a oapen |c oapen | ||
| 024 | 7 | |a 10.5445/KSP/1000080522 |c doi | |
| 041 | 0 | |a eng | |
| 042 | |a dc | ||
| 072 | 7 | |a UYAM |2 bicssc | |
| 100 | 1 | |a Hinkel, Georg |4 auth | |
| 245 | 1 | 0 | |a Implicit Incremental Model Analyses and Transformations |
| 260 | |a Karlsruhe |b KIT Scientific Publishing |c 2021 | ||
| 300 | |a 1 electronic resource (498 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 | |
| 506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
| 520 | |a 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). | ||
| 540 | |a Creative Commons |f by-sa/4.0 |2 cc |4 http://creativecommons.org/licenses/by-sa/4.0 | ||
| 546 | |a English | ||
| 650 | 7 | |a Maths for computer scientists |2 bicssc | |
| 653 | |a Incrementalization | ||
| 653 | |a Model Analysis | ||
| 653 | |a Model Transformation | ||
| 653 | |a Synchronization Blocks | ||
| 653 | |a Inkrementalisierung | ||
| 653 | |a Modellanalyse | ||
| 653 | |a Modelltransformation | ||
| 653 | |a Synchronisierungsblöcke | ||
| 856 | 4 | 0 | |a www.oapen.org |u https://library.oapen.org/bitstream/20.500.12657/50454/1/9783731507635.pdf |7 0 |z DOAB: download the publication |
| 856 | 4 | 0 | |a www.oapen.org |u https://directory.doabooks.org/handle/20.500.12854/71676 |7 0 |z DOAB: description of the publication |