====== CR rapide du 19/03/09 ======
 
//(rédigé par PA)//

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

===== Organisation =====

  * SVN/CVS : Arnauld
  * Fichiers biblio : références communes, règles de nommage...
    * commun coloss
    * thématique équipe : Kmelia, B, Aspects,...
    * collaborations : Loire, Econet, Colol, Miles,...
    * thématique général : formel, concurrent, objet, composant....

===== Kmelia =====




==== discussions sur la sémantique de Kmelia ====

  * quelques questions de PS
     * opérateur collatéral
     * fonctions qui terminent ou pas : considérer les deux cas puis classifier (ex: E/S)
     * atomicité : déplier le eLTS (sous-services, opérateurs ';', ',', while)
considérer l'automate déplié
     * plusieurs services (offerts) concurrents dans un composants (au plus une instance de chaque service à la fois)
     * init composant = atomique
     * init service = atomique
         * modif composant autorisé ? non (TODO grammaire)

==== discussions sur la vérification de Modèles Kmelia ====

  * base de disscussion {{kmelia:mainverifal.pdf|}}
  * que mettre concrètement dans un service requis
    * contexte + mapping lors de l'assemblage
    * accès aux variables de ce contexte virtuel (''_channel:ContVirt:var'')
    * pre sur état du composant : non, même si paraît logique parfois (ex: mode dégradé ou non)
  * propriétés :
    * partir des obligations de preuve
    * quelles machines B générer
    * quelle interprétation
  * masquer communications et services hors contexte ? abstraire par des opérations