CR rapide du 05/02/09

(rédigé par PA)

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

• 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…

• 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

• 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)