Vie du GDR GPL
|
Écrit par Yves Ledru
|
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
|
Mise à jour le Vendredi, 13 Mai 2011 11:29 |