(rédigé par PA)

Présents : PA, AL, CA

• 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