(rédigé par PA)

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

• draft eLTS elts.pdf
• draft composant simple simplest.pdf

assertions dans les services

décisions

• uniformiser contexte du service (new)
  • contexte d'un service (abstrait)

    • V x T
    • Invt
    • offert
    • obs : pre/post
      • pre : oui
      • post : oui
    • nobs : pre/post
      • pre : non
      • post : oui
    • requis
    • local : contexte composant qui définit le requis
      • pre : oui
      • post : non
    • virtuel
      • ensemble de variables typées
      • portée dans le service appelant

        _sr.vv

• assemblage
  • cp.sp ⇔ ca.sr
  • ca.vv = f(sp.Vo) sv.Vo = cp.Vo ou inclusion au sous-ensemble de la pre/post de sp ?

syntaxe

the default is compatible with the previous Kmelia model definitions

see figure PA (later)

décisions

• contrats d'assemblage : binding
• contrat de clientèle, d'appel : calling

• Kml to B
• pb des STRING