tools.html

---
layout: default
title: Tools
---

<h2 class="section-heading">NaoMod tools</h2> <hr>
<p>NaoMod develops several model engineering tools.</p>

<h4 class="service-heading">View</h4>
<p class="text-muted"> <a href="https://www.atlanmod.org/emfviews/">EMFViews</a> is an Eclipse plugin that brings the
    concept of database views to the modeling world.</p>

<h4 class="service-heading">Transform</h4>
<p class="text-muted"> <a href="https://git.kher.nl/aof/atol/">ATLc & ATOL</a> are two alternative <a
        href="http://www.eclipse.org/atl/">ATL</a> transformations engines that supports incremental and constraint
    solving.</p>

<h4 class="service-heading">Store</h4>
<p class="text-muted"> <a href="http://neoemf.atlanmod.org">NeoEMF</a> 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.</p>

<h4 class="service-heading">Prove</h4>
<p class="text-muted">The <a href="https://github.com/atlanmod/coqtl/">CoqTL</a> tool provides a Coq based framework to
    express and write proofs on model transformations.</p>

<h4 class="service-heading">Reverse</h4>
<p class="text-muted">The <a href="https://www.eclipse.org/MoDisco/">MoDisco</a> tool provides an extensible framework
    to develop model-driven tools for existing software modernization.</p>

<h2 class="section-heading">Co-maintained tools</h2> <hr>
<p>We take part in the development and maintenance of these external tools.</p>

<h4 class="service-heading">Transform</h4>
<p class="text-muted"> The <a href="http://www.eclipse.org/atl/">ATL</a> model transformation language provides ways to
    produce a set of target models from a set of source models.</p>

<h4 class="service-heading">Execute</h4>
<p class="text-muted"> The <a href="https://gemoc.org/studio.html">Eclipse GEMOC Studio</a> provides generic components
    through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling
    languages.</p>