(rédigé par CA mis en ligne par PA)

Présents : CA, AL, PS

Types abstraits de données ( à inclure ensuite comme on veut/peut dans la spec, comme on fait dans d'autres langages de spec) :

Type <nom>  //  mots clés  non contractuels ;-)
  opc :   --> Type   // o-aire = constructeur
  op1 :  T1 x T2 ... x TN --> T1 //  n-aire
  ...
EndType

Se mettre d'accord sur la façon de les inclure dans les spec : library …. includes … ???

On peut ainsi parler proprement des types par defaut, des types définis, et de nos expressions…

Si ce n'est pas cher, on peut gerer op : laSignature op _ _ : la Signature

on part pour faire le point sur les services partagés ; mais “très vite”, on focalise d'abord sur l'acces aux variables [globales] d'un composant

• Les variables d'etat d'un composant doivent être accéder en exclusion mutuelle ; Les services du composant accedent aux variables d'etat du composant (mais il ya concurrence d'acces avec d'autres services). Les actions elementaires, sur les transitions des eLTS se deroulent en Exclusion mutuelle avec d'autres actions elementaires ; Le deroulement de plusieurs services est un entrelacement de leur actions elementaires et il y a synchronisation sur les actions de communications. On peut rendre non interruptible une suite d'actions ; c'est le specifieur qui concoit ainsi son comportement ; Kmelia dournit les moyens de le faire.
• est-ce qu'on peut mettre deux exemplaires du meme service dans un composant ?
• est-ce qu'on peut mettre un service (ni requis ni offert) dans un composant ?
• On discute de sous-services et services (en explorant la question des interactions et des accès aux variables)
  • sous-services != service [faux après verification, cf courriel de PS, c'est un service ; mais il peut être utilisé comme sous-service par un autre qui le liste dans subs, il est alors expansé dans l'autre service ]
  • un sous-service ne se déroule pas simultanément avec son “appelant” donc pas de pbm d'accès entre eux

    à+ CA