Feedback

X
Implicit Incremental Model Analyses and Transformations

Implicit Incremental Model Analyses and Transformations

en

0 Ungluers have Faved this Work
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).

This book is included in DOAB.

Why read this book? Have your say.

You must be logged in to comment.

Rights Information

Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.

Downloads

This work has been downloaded 22 times via unglue.it ebook links.
  1. 22 - pdf (CC BY-SA) at OAPEN Library.

Keywords

  • Computer science
  • Computing & information technology
  • Incrementalization
  • Inkrementalisierung
  • Mathematical theory of computation
  • Maths for computer scientists
  • Model Analysis
  • model transformation
  • Modellanalyse
  • Modelltransformation
  • Synchronisierungsblöcke
  • Synchronization Blocks

Links

DOI: 10.5445/KSP/1000080522

Editions

edition cover

Share

Copy/paste this into your site: