Verification and validation of declarative model-to-model transformations through invariants