Meeting 7 - 30-31 Mai 2011 - Nancy

Lundi 30 Mai 2011

  • 09h00-10h30 : Accueil et exposés techniques
    • Etat de l'union [Francois]
      • Point sur l'accord de consortium
      • Point sur les livrables
      • Valorisation, Conférences, …
      • Réunions suivantes
      • Évaluations suivantes
    • Evolutions de Tom et projets d'extension [Pierre-Etienne]
    • Evolutions de Tom-EMF [Jean-Christophe]
  • 11h00-12H30 : Exposés techniques
    • Verification de transformations de modeles decrites en Tom-EMF [Marc]
    • Metamodeles et termes GOM : RT-FIACRE, FIACRE*, FIACRE [Marc et Jean-Paul]
    • Transformation d'AADL vers RT-FIACRE, FIACRE* et FIACRE [Jean-Paul]
    • Transformation de Mauve vers FIACRE [David]
  • 14h00-15H30 : Exposés techniques
    • Formalisation FIACRE/TTS en Coq [Manuel et Jean-Paul]
  • 16h00-18H00 : Discussions
    • Périmêtre AADL et Mauve [Jean-Paul et David animateurs]
      • Etudes de cas AADL : ABP, DMS et FWS [Silvano et Marc]
      • Etude de cas AADL Airbus [François]
      • Etude de cas Mauve [David]
    • Aspect architecture
    • Aspect comportemental
    • Aspect propriété
  • Architecture chaînes de traduction [François animateur]

Mardi 31 Mai 2011

  • 08h30-10H00 : Groupes de travail
  • 10h30-12H00 : Restitution
    • Nouveautes de FRAC et TINA [Bernard]
    • Avancement des travaux sur ADELE et MAUVE, futur développement [Arnaud]
    • Retours des groupes de travail
  • 13H30-15H00 : Futures activités
    • Livrables
    • Valorisation, Conférences, …
    • Réunions suivantes
    • Évaluations suivantes