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...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Online |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
KIT Scientific Publishing
2021
|
| Những chủ đề: | |
| Truy cập trực tuyến: | ONIX_20210816_9783731507635_15 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| _version_ | 1869528571069857792 |
|---|---|
| author | Hinkel, Georg |
| author_browse | Hinkel, Georg |
| author_facet | Hinkel, Georg |
| author_sort | Hinkel, Georg |
| collection | Directory of Open Access Books |
| 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). |
| format | Online |
| id | doab-20.500.12854ir-71676 |
| 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-716762025-08-13T14:10:55Z Implicit Incremental Model Analyses and Transformations Hinkel, Georg Incrementalization Model Analysis Model Transformation Synchronization Blocks Inkrementalisierung Modellanalyse Modelltransformation Synchronisierungsblöcke thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists thema EDItEUR::U Computing and 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-17T04:13:20Z 2021-08-17T04:13:20Z 2021-08-16T09:31:29Z 2021 book ONIX_20210816_9783731507635_15 OCN: 1272924366 1867-0067 https://library.oapen.org/handle/20.500.12657/50454 9783731507635 https://directory.doabooks.org/handle/20.500.12854/71676 eng The Karlsruhe Series on Software Design and Quality open access image/jpeg image/jpeg image/jpeg image/jpeg n/a n/a n/a n/a https://library.oapen.org/bitstream/20.500.12657/50454/1/9783731507635.pdf https://library.oapen.org/bitstream/20.500.12657/50454/1/9783731507635.pdf https://library.oapen.org/bitstream/20.500.12657/50454/1/9783731507635.pdf https://library.oapen.org/bitstream/20.500.12657/50454/1/9783731507635.pdf KIT Scientific Publishing KIT Scientific Publishing 10.5445/KSP/1000080522 10.5445/KSP/1000080522 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 9783731507635 AG Universitätsverlage KIT Scientific Publishing 498 Karlsruhe open access |
| spellingShingle | Incrementalization Model Analysis Model Transformation Synchronization Blocks Inkrementalisierung Modellanalyse Modelltransformation Synchronisierungsblöcke thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists Hinkel, Georg Implicit Incremental Model Analyses and Transformations |
| title | Implicit Incremental Model Analyses and Transformations |
| title_full | Implicit Incremental Model Analyses and Transformations |
| title_fullStr | Implicit Incremental Model Analyses and Transformations |
| title_full_unstemmed | Implicit Incremental Model Analyses and Transformations |
| title_short | Implicit Incremental Model Analyses and Transformations |
| title_sort | implicit incremental model analyses and transformations |
| topic | Incrementalization Model Analysis Model Transformation Synchronization Blocks Inkrementalisierung Modellanalyse Modelltransformation Synchronisierungsblöcke thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists |
| topic_facet | Incrementalization Model Analysis Model Transformation Synchronization Blocks Inkrementalisierung Modellanalyse Modelltransformation Synchronisierungsblöcke thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists |
| url | ONIX_20210816_9783731507635_15 |
| work_keys_str_mv | AT hinkelgeorg implicitincrementalmodelanalysesandtransformations |