Description

We learn to formalize object-oriented data models as graphs and model transformations as graph transformations.
We develop a generic model implementation and a generic model transformation engine.
Next, we learn model management operations like serialization and persistency, cloning and delta computation, and patching and versioning.
This is the basis for the computation of reachability graphs and model checking algorithms.