EMF Views

EMF Views is an Eclipse plugin that brings the concept of database views to the modeling world

JTL

JTL is an EMF-based tool that allows you to design and manipulate models, maintain consistency and synchronize software artifacts, keep traceability during design.

VeriATL

Fine-Grained Incrementality for Deductive Verification of Model Transformations (Online)