-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
executable file
·243 lines (223 loc) · 10.6 KB
/
index.html
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta name="description" content="">
<meta name="author" content="">
<title>Atlanmod Tools</title>
<!-- Bootstrap core CSS -->
<link href="vendor/bootstrap/css/bootstrap.min.css" rel="stylesheet">
<!-- Custom fonts for this template -->
<link href="vendor/font-awesome/css/font-awesome.min.css" rel="stylesheet" type="text/css">
<link href="https://fonts.googleapis.com/css?family=Montserrat:400,700" rel="stylesheet" type="text/css">
<link href='https://fonts.googleapis.com/css?family=Kaushan+Script' rel='stylesheet' type='text/css'>
<link href='https://fonts.googleapis.com/css?family=Droid+Serif:400,700,400italic,700italic' rel='stylesheet' type='text/css'>
<link href='https://fonts.googleapis.com/css?family=Roboto+Slab:400,100,300,700' rel='stylesheet' type='text/css'>
<!-- Custom styles for this template -->
<link href="css/agency.min.css" rel="stylesheet">
</head>
<body id="page-top">
<!-- Navigation -->
<nav class="navbar navbar-expand-lg navbar-dark fixed-top" id="mainNav">
<div class="container">
<a class="navbar-brand js-scroll-trigger" href="#page-top">NaoMod Team</a>
<button class="navbar-toggler navbar-toggler-right" type="button" data-toggle="collapse" data-target="#navbarResponsive" aria-controls="navbarResponsive" aria-expanded="false" aria-label="Toggle navigation">
Menu
<i class="fa fa-bars"></i>
</button>
<div class="collapse navbar-collapse" id="navbarResponsive">
<ul class="navbar-nav text-uppercase ml-auto">
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="#tools">Tools</a>
</li>
<li class="nav-item">
<a class="nav-link js-scroll-trigger" href="#contact">Contact</a>
</li>
</ul>
</div>
</div>
</nav>
<!-- Header -->
<header class="masthead">
<div class="container">
<div class="intro-text">
<div class="intro-heading">Atlanmod Modeling Platform</div>
<div class="intro-lead-in">View, Transform, Store, Prove, Reverse</div>
<a class="btn btn-primary btn-xl text-uppercase js-scroll-trigger" href="#tools">Find out More</a>
</div>
</div>
</header>
<!-- Tools -->
<section id="tools">
<div class="container">
<div class="row">
<div class="col-lg-12 text-center">
<h2 class="section-heading">Tools</h2>
<h3 class="section-subheading text-muted">The Atlanmod platform proposes a rich set of model engineering tools.</h3>
</div>
</div>
<div class="row text-center justify-content-center">
<div class="col-md-4">
<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">
<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"> <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">
<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-4">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-graduation-cap fa-stack-1x fa-inverse"></i>
</span>
<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">
<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-4">
<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>
<section id="historic_tools">
<div class="container">
<div class="row">
<div class="col-lg-12 text-center">
<h2 class="section-heading">Co-maintained tools</h2>
<h3 class="section-subheading text-muted">We take part in the development and maintenance of these external tools.</h3>
</div>
</div>
<div class="row text-center justify-content-center">
<div class="col-md-4">
<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-4">
<span class="fa-stack fa-4x">
<i class="fa fa-circle fa-stack-2x text-primary"></i>
<i class="fa fa-gears fa-stack-1x fa-inverse"></i>
</span>
<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>
</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>
<!-- Contact -->
<section id="contact">
<div class="container">
<div class="row">
<div class="col-lg-12 text-center">
<h2 class="section-heading text-uppercase">Contact Us</h2>
<h3 class="section-subheading text-muted">NaoMod Research Group (<a href="https://www.ls2n.fr">LS2N</a> -<a href="http://www.imt-atlantique.fr">IMT Atlantique</a> - <a href="https://www.univ-nantes.fr/">Nantes Université</a>)</h3>
</div>
</div>
<div class="row">
<div class="col-lg-12">
<p class="text-muted">Contact Information</p>
<p class="large text-muted">
NaoMod Research Group</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/>
<a href="https://naomod.github.io/">Team website</a>
</p>
</div>
</div>
</div>
</section>
<!-- Footer -->
<footer>
<div class="container">
<div class="row">
<div class="col-md-4">
<span class="copyright">Copyright © NaoMod Research Group 2024</span>
</div>
<div class="col-md-4">
<ul class="list-inline social-buttons">
<li class="list-inline-item">
<a href="#">
<i class="fa fa-twitter"></i>
</a>
</li>
<li class="list-inline-item">
<a href="#">
<i class="fa fa-facebook"></i>
</a>
</li>
<li class="list-inline-item">
<a href="#">
<i class="fa fa-linkedin"></i>
</a>
</li>
</ul>
</div>
<div class="col-md-4">
<ul class="list-inline quicklinks">
<li class="list-inline-item">
<a href="#">Privacy Policy</a>
</li>
<li class="list-inline-item">
<a href="#">Terms of Use</a>
</li>
</ul>
</div>
</div>
</div>
</footer>
<!-- Bootstrap core JavaScript -->
<script src="vendor/jquery/jquery.min.js"></script>
<script src="vendor/bootstrap/js/bootstrap.bundle.min.js"></script>
<!-- Plugin JavaScript -->
<script src="vendor/jquery-easing/jquery.easing.min.js"></script>
<!-- Contact form JavaScript -->
<script src="js/jqBootstrapValidation.js"></script>
<script src="js/contact_me.js"></script>
<!-- Custom scripts for this template -->
<script src="js/agency.min.js"></script>
</body>
</html>