ATLc & ATOL are two alternative ATL transformations engines that supports incremental and constraint solving.
NeoEMF is a model persistence solution designed to store models in several kind of NoSQL datastores. It is fully compatible with EMF, making it easy to integrate into modeling applications.
The CoqTL tool provides a Coq based framework to express and write proofs on model transformations.
The MoDisco tool provides an extensible framework to develop model-driven tools for existing software modernization.
The ATL model transformation language provides ways to produce a set of target models from a set of source models.
The Eclipse GEMOC Studio provides generic components through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling languages.
Contact Information
NaoMod Research Group
naomod-per@univ-nantes.fr
Team website