Skip to content

Commit

Permalink
upadte wwebsite with new tools
Browse files Browse the repository at this point in the history
  • Loading branch information
@TheoLeCalvar
TheoLeCalvar committed Mar 13, 2024
1 parent b256fd0 commit 2f6c8a3
Showing 1 changed file with 57 additions and 10 deletions.
67 changes: 57 additions & 10 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -80,30 +80,38 @@ <h3 class="section-subheading text-muted">The Atlanmod platform proposes a rich
</div>
</div>
<div class="row text-center">
<div class="col-md-4">
<div class="col-md">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-upload fa-stack-1x fa-inverse"></i>
<i class="fa fa-graduation-cap fa-stack-1x fa-inverse"></i>
</span>
<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>
<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>
</div>
<div class="col-md-4">
<div class="col-md">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-laptop fa-stack-1x fa-inverse"></i>
</span>
<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>
<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>
</div>
<div class="col-md-4">
<div class="col-md">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-download fa-stack-1x fa-inverse"></i>
</span>
<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>
</div>
<div class="col-md">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-sitemap fa-stack-1x fa-inverse"></i>
</span>
<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>
</div>
<!--
<div class="col-md-4">
<span class="fa-stack fa-4x">
Expand All @@ -118,6 +126,45 @@ <h4 class="service-heading">Verify</h4>
</div>
</section>

<section id="historic_tools">
<div class="container">
<div class="row">
<div class="col-lg-12 text-center">
<h2 class="section-heading">Historic tools</h2>
<h3 class="section-subheading text-muted">We contributed to these projects but no longer actively maintain them.</h3>
</div>
</div>
<div class="row text-center">
<div class="col-md">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-upload fa-stack-1x fa-inverse"></i>
</span>
<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>
</div>
<div class="col-md">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-laptop fa-stack-1x fa-inverse"></i>
</span>
<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>
</div>
<!--
<div class="col-md">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-check-circle fa-stack-1x fa-inverse"></i>
</span>
<h4 class="service-heading">Verify</h4>
<p class="text-muted">Lorem ipsum dolor sit amet, consectetur adipisicing elit. Minima maxime quam architecto quo inventore harum ex magni, dicta impedit.</p>
</div>
-->
</div>
</div>
</section>

<!-- Portfolio Grid -->
<!--
<section class="bg-light" id="portfolio">
Expand Down Expand Up @@ -437,12 +484,12 @@ <h3 class="section-subheading text-muted">NaoMod Research Group (<a href="https:
<p class="text-muted">Contact Information</p>
<p class="large text-muted">
NaoMod Research Group</br>
<a href="mailto:atlanmod-contact@mines-nantes.fr" class="external text" title="mailto:atlanmod-contact@mines-nantes.fr" rel="nofollow">atlanmod-contact@mines-nantes.fr</a><br/>
<a href="mailto:naomod-per@univ-nantes.fr" class="external text" title="mailto:naomod-per@univ-nantes.fr" rel="nofollow">naomod-per@univ-nantes.fr</a><br/>
IMT Atlantique<br/>
Computer science department<br/>
4 rue Alfred Kastler<br/>
44307 Nantes, France<br/>
<a href="http://web.emn.fr/x-info/atlanmod/index.php">Website</a>
<a href="https://naomod.github.io/">Website</a>
</p>
</div>
</div>
Expand Down Expand Up @@ -490,7 +537,7 @@ <h3 class="section-subheading text-muted">NaoMod Research Group (<a href="https:
<div class="container">
<div class="row">
<div class="col-md-4">
<span class="copyright">Copyright &copy; NaoMod Research Group 2018</span>
<span class="copyright">Copyright &copy; NaoMod Research Group 2024</span>
</div>
<div class="col-md-4">
<ul class="list-inline social-buttons">
Expand Down

0 comments on commit 2f6c8a3

Please sign in to comment.