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