Programme de la journée commune "Services" et "Langages et modèles à l'exécution"
Lille, le 10 juin 2011

- Accueil des participants : 8h00-8h30

- Session de présentations I (2h00) : 8h30-10h30
Animateur : Chouki Tibermacine

• Test passif de la conformité de chorégraphies WS-BPEL.
  Huu Nghia Nguyen, Université Paris Sud et LRI
  Pascal Poizat, Université d'Evry Val d'Essonne et LRI
  Fatiha Zaïdi, Université Paris Sud et LRI
  Philippe Dague, Université Paris Sud et LRI
• Agrégation d'attributs qualité pour la supervision des orchestrations de services.
  Nabil Fakhfakh, Hervé Verjus et Frédéric Pourraz. LISTIC, Université de Savoie.
• Classification hiérarchique et sélection de services Web composable.
  Zeina Azmeh, Fady Hamoui, Marianne Huchard, Chouki Tibermacine. LIRMM, CNRS et Université Montpellier II.
  Maha Driss, IRISA, INRIA, Université Rennes I.
  Naouel Moha, Université du Québec à Montréal, Canada.
• Macchiato : vers un système de panier unique pour le e-commerce.
  Nicolas Petitprez, Romain Rouvoy et Laurence Duchien.
  Équipe-Projet ADAM, INRIA Lille - Nord Europe.Université Lille 1, LIFL UMR CNRS 8022.

- Pause Café : 10h30-11h00

- Session de présentations II (1h30) : 11h00-12h30
Animateur : Pascal Poizat

• Support for Formal Verification of Domain-Specific Modelling Languages.
  Dorel Lucanu, Al. I. Cuza University, Iasi, Romania.
  Vlad Rusu, Inria Lille Nord Europe.
• The Synthesis Problem for Trusted Service-based Collaborations.
  Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer et Mario Sudholt. ASCOLA, École des Mines de Nantes-INRIA, LINA.
• Environnement de Transformation et de Vérification de Modèles BPEL 2.0 Temporisés.
  Elie Fares, Jean-Paul Bodeveix et Mamoun Filali. IRIT, Université de Toulouse.

- Pause déjeuner : 12h30-13h30

- Tutoriel sur SCA et FraSCAti (2h00) : 13h30-15h30
Animateur : Romain Rouvoy
Orateur : Philippe Merle, INRIA Lille - Nord Europe

- Pause café : 15h30-16h00

- Session de pratique sur FraSCAti (1h30) : 16h00-17h30
Animateur : Philippe Merle

- Session de démonstrations d'outils (30min) : 17h30-18h00