naomod.github.io/tools.html at master · NaoMod/naomod.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
---
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://projects.eclipse.org/projects/modeling.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>