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