====== CR rapide du 11/06/09 ======
 
//(rédigé par PA)//

Présents : PA, GA, AL, CA, PS, MM

===== Exposé Mohamed =====

==== traduction KmlToB ====

solutions de génération

  * writeln : rapide mais les inconvénients
  * templates (solution préconisée) => Velocity, Freemarker (*)
  * transfo de modèles (ATL)

solutions de parcours

  * algorithmes
  * visiteurs : adaptés au templates


capitalisation, généralisation

  * algorithmes par type de génération
    * pour B
    * pour d'autres langages
  * ne pas refaire plusieurs fois la même chose => rendre persistant les structures intermédiaires

différents main
  * en fonction du type de génération
  * paramétrage

===== Kmelia Semantics =====

//PS//

  * biblio : com. synchrone, processus parallèles, partage de contexte
    * composants distribués
    * threads
    * moniteurs de Hoare
    * pi-calcul : CCS/CSP avec noms en param
  * rappel des conditions de concurrence
    * 1 service d'un composant à la fois : non : trop fort = borne sup
    * 1 action élémentaire à la fois : non : trop faible = borne inf
    * solutions intermédiaires :
       * sous-service non interruptible
       * sections critiques
    * cas des appels <<ss>> vs inclusion <|ss|>
       * gestion des critiques ou pas

===== Le point sur les publis =====

    * FACS => messages
       * M
       * mu
       * mu par canal