Implicit Incremental Model Analyses and Transformations

Implicit Incremental Model Analyses and Transformations

Show other versions (1)

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

Full description

Saved in:
Bibliographic Details
Main Author: Hinkel, Georg (auth)
Format: Electronic Book Chapter
Language:English
Published: Karlsruhe KIT Scientific Publishing 2021
Series:The Karlsruhe Series on Software Design and Quality
Subjects:
Maths for computer scientists
Incrementalization
Model Analysis
Model Transformation
Synchronization Blocks
Inkrementalisierung
Modellanalyse
Modelltransformation
Synchronisierungsblöcke
Online Access:DOAB: download the publication
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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).
Physical Description:1 electronic resource (498 p.)
ISBN:KSP/1000080522
9783731507635
Access:Open Access

Similar Items