Obálka

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...

Celý popis

Uloženo v:
Hlavní autor: Hinkel, Georg
Médium: Online
Jazyk:angličtina
Vydáno: KIT Scientific Publishing 2021
Témata:
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
On-line přístup:ONIX_20210816_9783731507635_15
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Shrnutí: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).

Podobné jednotky