Programme général de COSMAL

Programmes : Général Court CAL COSMAL GDR GPL IDM

• Programme du Vendredi 10 juin

Vendredi 10 juin

• 8h00-8h30
  
  • Accueil
• 8h30-10h30 Amphi Lebon
  
  • Session de présentations 1
  • Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi, Philippe Dague Test passif de la conformité de chorégraphies WS-BPEL
  • Nabil Fakhfakh, Hervé Verjus et Frédéric Pourraz Agrégation d'attributs qualité pour la supervision des orchestrations de services
  • Zeina Azmeh, Fady Hamoui, Marianne Huchard, Chouki Tibermacine, Maha Driss, Naouel Moha Classification hiérarchique et sélection de services Web composable
  • Nicolas Petitprez, Romain Rouvoy et Laurence Duchien Macchiato : vers un système de panier unique pour le e-commerce
• 10h30-11h00
  
  • Pause
• 11h00-12h30 Amphi Lebon
  
  • Session de présentations 2
  • Dorel Lucanu, Vlad Rusu Support for Formal Verification of Domain-Specific Modelling Languages
  • Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer et Mario Sudholt The Synthesis Problem for Trusted Service-based Collaborations
  • Elie Fares, Jean-Paul Bodeveix et Mamoun Filali Environnement de Transformation et de Vérification de Modèles BPEL 2.0 Temporisés
• 12h30-14h00 RU Barrois
  
  • Repas
• 14h00-16h00
  
  • Tutoriel sur SCA et FraSCAti
  • Session pratique et démo d'outils
  • Orateur : Philippe Merle
• 16h00-16h30
  
  • Pause
• 16h30-18h00 Amphi Migeon
  
  • Session de pratique sur FraSCAti
  - Dans le cadre de la journée Services, une session de mise en pratique interactive est prévue. Si vous souhaitez effectuer sur votre propre ordinateur les manipulations faites durant la session, vous trouverez à l'adresse http://www.lifl.fr/idm-gpl/pier/gdr/call les informations nécessaire à l'installation de la plateforme FraSCAti ainsi que les artefacts permettant de démarrer le TP.
  
• 18h00-18h30 Amphi Migeon
  
  • Session de démonstrations d'outils

Revenir en haut de la page