eole presentation
[tiramisu.git] / doc / eole-report / presentation / tiramisu.txt
index f3d3761..7c70a37 100644 (file)
@@ -8,29 +8,36 @@ Gestionnaire de configuration existants
   en live et on revient en arrière si la conf n'est pas cohérente
   (un `parse_dico()` avec un `SCM` derrière)
   
-- puppet, cfgengine -> laisser parler nebu, lolo...
+- puppet, cfgengine
 
+- il y a **tous** les concepts de base de Créole, ce qui ne veut pas dire
+  que tout ce qu'on veut est implémenté (cf -> les variables automatiques)
 
-documents de présentation 
----------------------------
-
-- `doc/build` : doc technique (et api epydoc)
-- `doc/eole-report/presentation` : diaporama
-- `doc/eole-report/eolreport` : diff pdf entre creole ~ tiramisu
-- `tiramisu/report/` : rapport autmatique sur une config
 
-affichage du rapport en html
------------------------------
+Comparaison entre le noyau de Créole et Tiramisu
+----------------------------------------------------
 
-espace d'état ou graphe d'accessibilité 
--------------------------------------------
+- Avec Créole il est compliqué d'ajouter un type à cause de la métaclasse ;
+- Créole valide le type mais pas la structure (fait trop confiance au XML) ;
 
+un peu de mathématique
+-------------------------
 
 - soit on a besoin de ne connaître que l'ensemble des états, par leurs liens
 - soit on a besoin de connaître les relations
 
-repérage des **deadlocks**
+- il suffit de coder un générateur de machines à états pour pouvoir 
+- faire des prédictions sur les configuration possibles
+
+------
 
+documents de présentation 
+---------------------------
+
+- `doc/build` : doc technique (et api epydoc)
+- `doc/eole-report/presentation` : diaporama
+- `doc/eole-report/eolreport` : diff pdf entre creole ~ tiramisu
+- `tiramisu/report/` : rapport autmatique sur une config