Atlanmod MDE Tools

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.

EMF Views brings the concept of database views to the modeling world. You can create views that focus on only part of a model, or views that combine several models from different metamodels. Views can be navigated and queried as regular models are, and they can used as inputs to model transformations.

CoqTL is an internal domain specific language, namely CoqTL, for the specification of declarative model transformations directly in the Coq interactive theorem prover. Expressions in CoqTL are written in Gallina (the specification language of Coq), increasing the possibilities of reuse of native Coq libraries in the transformation definition and proof.

Atlanmod Commons is a set of common classes and methods, including: - Lazy objects and references for on-demand loading, and local caching - An asynchronous logger - A wrapper for caching, using Caffeine - A wrapper for hashing, using Zero-allocation Hashing - A wrapper for serialization, using FST - Utility classes about primitives, collections, functional interfaces, concurrency, reflection, etc. It was created to regroup and share classes, methods and dependencies between the different projects of the Atlanmod Platform and was designed to ease updating without interfering with other projects.

Some MDE tools that were initially conceived in Nantes became Eclipse projects: