====== CR rapide du 05/02/09 ======
 
//(rédigé par PA)//

Présents : PA, CA, GA, MM, AL, Etudiants IR (4/5)

==== ODJ (non traité) ====

  * Point sur les dernières missions
    * COSMAL'09  Arnaud
    * SOFSEM'09  Christian

  * Projets Futurs
      * ANR "LOIRE"
      * Region  "MOSAIQ"  (*) Objet de la discussion avec Pierre
   
  * Activ. scientifiques à venir
      * JS'09
      * IMFMT'09 (apcb)

  * Travaux en cours  Kmelia+++
      * Point SC'09 (et Etat de COSTO après cette phase)
      * Fesca'09 et suite
      * Econet et suite
      * Repréciser la répartition et l'organisation du travail pour 
optimiser le  peu de temps qui...

==== Kmelia ====

  * discussions sur les observables et mise en place dans la grammaire
      * Services / Variable / Invariant / Pre / Post
      * nommer les prédicats (optionnel)
  * deux techniques 1/2
      * listes de noms
      * tags sur les services, variables, assertions (predicats)
      * multiplier les clauses OBS INVT, OBS PRE...
         *  [obs] [nom_p:] predicate
         * la dernière solution n'est pas bonne pour l'apprentissage du langage
  * principe
      * homogène : même technique pour tout
      * hétérogène : selon les concepts

la compatibilité ascendante de Kmelia est a priori à conservér

=== Relevé de décision ===
  * on 'tague' et on nomme les prédicats : optionnel 
  * aucune spécialisation des clauses (INVARIANT, PRE, POST, VARIABLE....)
  * RENAME devient v : T FROM Ci.vi avec le type de vi = T (ou compatible ?)
  * on 'tague' les variables et les constantes par "obs"
  * on ne le fait pas (encore) pour les services
  * on oublie (pour l'instant)
     * PROPERTIES
     * SERVICE PROPERTIES (nom : pred de niveau meta)