(rédigé par PA)

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

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

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

• base de disscussion 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