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

Présents : PA, AL, CA


===== discussions sur le papier FACS =====

  - problème entre composant et composant-type
    * pb de la définition de type par tuple : voir TAD, voir Objet
    * pb de cohérence sur papier : oui : lisser

  - rappel
     Assembly type       Component Type           Service
           :                   :                    ||
        Assembly           Component              Service
           :                   :                     :
   Assembly instance   Component instance      Service instance
                         ("object")               (process)

  - expliciter :
    * composant : ensembles de couples (var,val) + lien type
    * accès variables : notation pointée ci.vj - ensemble des variables

  - uniformiser contexte du service (new)
    * contexte d'un service (abstrait) 
      *   V x T
      *   Invt
    * offert
      * obs : pre/post
      * nobs : pre/post
    * requis
      * local : contexte composant
      * virtuel 
    vocable : interne

{{kmelia:cr:img_0082.jpg?200|}} {{kmelia:cr:img_0087.jpg?200|}}