Matrise d'informatique Filire polyvalente TER n17

1
Maîtrise d'informatique
Filière polyvalenteTER n17

• CONSTRUCTION INCREMENTALE DE TRACES EN INTENSION
• Billy LY billy.ly_at_etu.upmc.fr
• Vay-Tak YIN vay-tak.yin_at_etu.upmc.fr
• Encadré par Nicolas SABOURET

2
Sommaire

• 1. Présentation du problème.
• 2. Etude préliminaire Construction non
  incrémentale.
• 3. Etude secondaire Construction incrémentale.
• 4.Conclusion et perspectives.

3
1. Présentation du problème

• Objectifs.
• Langage VDL.
• Traces en extension.
• Trace en intension.
• Itérateurs.

4
Objectifs

• Le contexte
• - Des agents
• - Des questions
• - Des réponses
• Le but
• Créer un module qui mémorise les actions
  présentes et passé et qui puisse découvrir des
  lois sur les comportements.

5
Langage VDL (1)

• view

Nud dactions
j
put
i
put
i
1
0
path
plus
path
plus
get
get
get
i
1
j
i
i
j

• Des arbres de réécriture

6
Langage VDL (2)

• Exemple
• Somme.vdl
• view
• i1, j0
• put pathi,plusgeti,1,
• put pathj,plusgeti,getj
• Affecte à la variable j la somme des n premiers
  entiers.

7
Traces en extension

• Exemples
• 1 2 3 4 5 6 .
• vrai faux faux faux vrai
• A B BONJOUR HELLO

8
Traces en intension

• ( ? ) ( ? ) ( ? ) ( ? )
• Exemple
• dimanche jeudi lundi mardi mercredi
  samedi vendredi lundi mardi mercredi
  jeudi vendredi samedi dimanche
• (jours de la semaine dans lordre
  lexicographique)
• (jours de la semaine dans lordre du calendrier)

9
Itérateur

• (xinit , op, ? , taille)
• Exemple
• 1.0 2.0 3.0 4.0 5.0 6.0 7.0
• (1.0, , 1.0, 7)

10
2. Etude préliminaire Construction non
incrémentale de traces en intension

• Construction de traces en extension
• Intensionnalisation de traces en extension

11
Construction de traces en extension (1)

• But
• Exemple

view
view
view
view
i
i
i
i
0
1
2
3
(1)
(2)
(3)
(4)
Trace view/i 0, 1, 2, 3
12
Construction de traces en extension (2)

Module VDL
Classe TraceNode
récupère
construit
informations
Classe Trace
un arbre
générer
créer
instance
Classe TraceEnExtension
Fichier texte
Mécanisme du module de trace en extension
13
Intensionnalisation de traces en extension (1)

• L x0 x1 x2 x3 x4 .xj-1xjxj1xn
• Itérateur arithmétique (xinit , , ? xi-xi1,
  taille)
• Itérateur géométrique (xinit , , ? xi-xi1,
  taille)
• f(x) axb xi1 f(xi)
• Itérateur rationnel (xinit , rat, ? (a,b),
  taille)

14
Intensionnalisation de traces en extension (2)

• Exemple

view
view
view
view
i
i
i
i
0
1
2
3
(1)
(2)
(3)
(4)
Trace en extension view/i 0, 1, 2, 3
Trace en intension view/i (0, , 1, 4)
15
Intensionnalisation de traces en extension (3)
Traces en extension

Classe Intension
créer
Classe TraceEnIntension
instance
générer
créer
Fichier texte
instance
Interface Iterateur
Classe IterateurArithmetique
Classe IterateurGeometrique
Classe IterateurRationnel
Mécanisme du module de trace en intension
16
3. Etude secondaireConstruction incrémentale de
traces en intension

• Passage à la version incrémentale
• Deux nouveaux itérateurs
• Tableau dinformations
• Exemples dapplications

17
Passage à la version incrémentale(1)
Arbre VDL
Traces en extension
/view/a 1 2 3 4 5 /view/b 2 2 2 3 3
Traces en intension
Construction non incrémentale de traces en
intension
/view/a (1.0,,1.0,5) /view/b (2.0,,0.0,3)
18

Passage à la version incrémentale (2)
Arbre VDL

Traces en extension
/view/a 1 2 3 4 5 /view/b 2 2 2 3 3
Traces en intension
Construction incrémentale de traces en intension
/view/a (1.0,,1.0,5) /view/b (2.0,,0.0,3)
19
Deux nouveaux itérateurs

• Itérateur Somme2 (xinit , , 2, taille)
• Itérateur Produit2 (xinit , , 2, taille)
• Exemple
• Les 5 premiers éléments de la suite de fibonacci
  
• - Trace en extension1, 1, 2, 3, 5.
• - Trace en intension (1, , 2, 5).

20
Tableau dinformations
21
Exemple dapplication (1)

• compteur.vdl
• view
• perecompteur1,
• filsguardequalsgetcompteur,2,putpathcomp
  teur,0,
• putpathcompteur,plusgetcompteur,1

22
Exemple dapplication (2)

• Résultat
• /view/pere/compteur

23
Exemple dapplication (3)

• Résultat
• /view/pere/compteur

24
Exemple dapplication (4)

• Résultat
• /view/pere/compteur

25
Et ça marche!!!
26
Conclusion et perspectives

• Module réalisé.
• Testé sur des composants variés.
• Perspectives
• - Dautres variables (booléens, chaîne de
  caractères, )
• - Dautres actions (add et del)

27
Remerciements

• Merci à Nicolas SABOURET de nous avoir
• encadré pour ce TER tout au long de ce semestre.
• Merci à Jean-Daniel KANT de nous avoir donné les
• méthodes et les notions nécessaires dingénierie
• logiciel.