Analysis and correctness of algebraic graph and model transformations.