Project

General

Profile

CdC » History » Version 7

Guillaume Babin, 01/26/2013 08:44 PM

1 1 Romain BOBO
h1. Cahier des charges
2
3 5 Guillaume Babin
h2. Objectif général
4 2 Romain BOBO
5 3 Romain BOBO
L'objectif est de concevoir un éditeur textuel et graphique pour le langage de programmation Lustre sous une approche basée sur l'ingénierie des modèles, en utilisant l'outil ObeoDesigner. Les deux vues du programme édité doivent être synchronisées.
6 5 Guillaume Babin
7 1 Romain BOBO
		
8 5 Guillaume Babin
h2. Fonctionnalités
9 1 Romain BOBO
10 5 Guillaume Babin
h3. Éditeur textuel
11
12
* A.1 : projet xText
13
* A.2 : coloration syntaxique adaptée au langage Lustre
14
* A.3 : auto indentation
15
* A.4 : auto complétion
16
* A.5 : gestion des imports de bibliothèques
17 1 Romain BOBO
			
18 5 Guillaume Babin
h3. Éditeur graphique de type ``boîtes et flèches''
19
20
* B.1 : utilisation de ObeoDesigner
21
* B.2 : palette graphique pour les différents opérateurs
22 7 Guillaume Babin
* B.3 : palette graphique pour les nœuds du fichier en cours d'édition
23
* B.4 : un modèle Lustre doit pouvoir être vu comme un programme avec un nœud principal
24
* B.5 : un modèle Lustre doit pouvoir être vu soit comme une librairie de nœuds
25
* B.6 : possibilité d'ouvrir les différents nœuds pour les visualiser
26
* B.7 : possibilité de modifier les spécifications (entrées/sorties) d'un nœud donné
27
* B.8 : possibilité d'afficher le code correspondant à un nœud donné
28
* B.9 : placement automatique basique des nœuds à l'ouverture d'un fichier Lustre (un placement automatique très élégant des nœuds n'est pas un objectif du projet)
29 1 Romain BOBO
			
30 7 Guillaume Babin
h3. Éditeurs textuel et graphique
31
32
* C.1 : basés sur un meta-modèle Ecore du langage Lustre
33
* C.2 : chargement de fichiers Lustre (extension .lus)
34
* C.3 : enregistrement de fichiers Lustre
35
* C.4 : possibilité de partir d'une feuille blanche
36
* C.5 : toute modification du code dans l'éditeur textuel doit être répercutée dans l'éditeur graphique, et vice versa (synchronisation)
37
* C.6 : gestion de la spécification (préconditions / postconditions) des nœuds (stockée en commentaire dans le fichier Lustre)
38
* C.7 : le code Lustre doit être le plus propre possible (notamment, les informations relatives au placement graphique des nœuds ne doivent pas s'y trouver)
39
40
41 6 Guillaume Babin
h3. De manière générale
42
43 7 Guillaume Babin
* D.1 : documentation de qualité permettant l'amélioration future par d'autres équipes (méthode de construction, grammaire)
44
* D.2 : code de qualité permettant une bonne maintenabilité
45
* D.3 : licence EPL (Eclipse Public License)
46
* D.4 : le programme final sera reversé dans le marketplace Obeo http://marketplace.obeonetwork.com ou sur https://github.com/ObeoNetwork
47 6 Guillaume Babin
48 1 Romain BOBO
h3. Éventuellement, les fonctionnalités suivantes pourront être envisagées
49
50 7 Guillaume Babin
* E.1 : éditeur textuel : l'enroulage de code (folding)
51
* E.2 : éditeur graphique : la possibilité d'importer des nœuds depuis d'autres fichiers Lustre dans la palette graphique (chargement dynamique de bibliothèque)
52 1 Romain BOBO