Gilles : Savoir si un Label est composite (LabelBlock) ou pas
OK, vu, pbm de commentaires.... réglé
reste à voir incidence sur algo kml2lotos
-----------------------------------------

- Calculer l'alphabet du systeme synchro testé
FAIT
-----------------------------------
- remplacer __CALLER par service_calling
FAIT au moment de synchro entre processus, 
avec fonction adhoc sur chaine 
car trop tard pour utiliser fonction disponible sur LTS
----------------------------------
- mettre les etats (*ei*) a travers la generation
FAIT
- faire un fichier par datalib
FAIT
----------------------------------
- graphe des classes
fignolage plus tard...


- les donnees (transformer integer en Octet, ...)


- ajouter les donnees standard (boolean, naturalnumber, bit, octet)
FAIT
--------------------------------


+-------------+
Pour memo algorithmique/strategique


La logique de redirectCaller: 
  Puisque (dans mon algo) la traduction du composant/services est independante du caller, je ne peux pas remplacer le __CALLER avant la traduction.
  Mais à la fin de la traduction, j'ai une chaine(string) brute du processus qui contient __CALLER. 
 Je fais donc le remplaement du caller, pendant la synchro...



+-------------+
lancement (avec le fully qualified classname: packagename.classname

java costo.checks.kmelia2lotos.kml2lotos spec/ATM/  ATM_SYSTEM.cmp ./



+--------------------
Expansion des services , GA :

. Apres l'expansion des services,
  canal??code
    sans parametre , est-ce possible ?   
    normalement c'est canal??code(machin:truc)

. qu'est-ce qui est genere ?
    canal??code


+-----------------------
Qu'est-ce qui est genere pour le retour de <code>
  apres 
    !!code
   comment retourné à l'etat (ei)<code>  

+-----------------------


GA : ajout d'un LotosContext pour cette "verification"




