Implicit Incremental Model Analyses and Transformations

• Autore: Hinkel Georg
• Pubblicazione: Karlsruhe, : KIT Scientific Publishing, 2021
• Descrizione fisica: 1 electronic resource (498 p.)
• Soggetto topico: Maths for computer scientists
• Soggetto non controllato: Incrementalization; Model Analysis; Model Transformation; Synchronization Blocks; Inkrementalisierung; Modellanalyse; Modelltransformation; Synchronisierungsblöcke
• Sommario/riassunto: 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).
• Titolo autorizzato: Implicit Incremental Model Analyses and Transformations
• ISBN: 1000080522
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910493731003321
• Lo trovi qui: Univ. Federico II