tools.html

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

<h2 class="section-heading">NaoMod tools</h2> <hr>
<p>NaoMod develops several tools for generative software and system engineering:</p>

<table>
    <tr>
        <td style="padding-right: 20px;"><b>View </b></td>
        <td><a href="https://www.atlanmod.org/emfviews/">EMFViews</a> is an Eclipse plugin that brings the
            concept of database views to the modeling world.</td>
    </tr>
    <tr>
        <td style="padding-right: 20px;"><b>Transform</b></td>
        <td><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.</td>
    </tr>
    <tr>
        <td style="padding-right: 20px;"><b>Store</b></td>
        <td><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.</td>
    </tr>
    <tr>
        <td style="padding-right: 20px;"><b>Prove</b></td>
        <td>The <a href="https://github.com/atlanmod/coqtl/">CoqTL</a> tool provides a Coq based framework to
            express and write proofs on model transformations.</td>
    </tr> 
    <tr>
        <td style="padding-right: 20px;"><b>Reverse</b></td>
        <td>The <a href="https://www.eclipse.org/MoDisco/">MoDisco</a> tool provides an extensible framework
            to develop model-driven tools for existing software modernization.</td>
    </tr>
</table>

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

<table>
    <tr>
        <td style="padding-right: 20px;"><b>Transform</b></td>
        <td>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.</td>
    </tr>
    <tr>
        <td style="padding-right: 20px;"><b>Execute</b></td>
        <td>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.</td>
    </tr>
</table>