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

Descripción completa

Detalles Bibliográficos
Otros Autores: Hinkel, Georg (auth)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Karlsruhe KIT Scientific Publishing 2021
Colección:The Karlsruhe Series on Software Design and Quality
Materias:
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009654232106719
Descripción
Sumario: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).
Descripción Física:1 electronic resource (498 p.)