====== Réunion informelle du 03/03/09 ======

1) PA, PS

question/réponse sur Kmelia pour une sémantique formelle

2) PA MM

traduction KML2B

discussion sur pbs rencontrés

rédaction d'un rapprt de recherche sur le sujet 
pour poser les problèmes et discuter des solutions

1. Intro
2. Principes généraux
3. Correspondance
   mapping global des concepts
4. Traduction des composants primitifs
    * composant
    * interface
    * services
    * ...
   détails avec hypothèses, questions, solutions....
5. Traduction des assemblages
    discussions sur les relations entre machines
    mise en place des liens et du raffinement
6. Exemple
    ATM ou autre
7. Vérifications 
    * liste de propriétés à vérifier
    * expérimentations
8 Conclusion et perspectives

(MM: les pts 5 et 7 sont pour plus tard)

cdlt

PA