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

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



{{tag> kmelia FACS observable virtual local semantique}}

===== discussions sur le recrutement =====



===== discussions sur la sémantique eLTS =====

  * draft eLTS {{kmelia:cr:elts.pdf|}}
  * draft composant simple {{kmelia:cr:simplest.pdf|}} 




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

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 <code>_sr.vv</code>

  - 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**//

^ Provided ^ Required      ^ comment          ^
| ''PRE''    | ''PRE''     | one clause only       |
| ''obs @name: predicate''    | ''virt @name: predicate'' | default |
| //forbidden// | ''local @name: predicate'' | |
| ''POST'' | ''POST'' | one clause        |
| ''obs @name: predicate''    | ''virt @name: predicate'' | default |
| ''local @name: predicate'' | //forbidden// | local = nobs |

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

{{kmelia:cr:assertionvis.jpg?600|}}

===== exposé MM =====

  * Kml to B
  * pb des STRING