Infos Pratiques

Wifi

Le mot de passe change tous les jours
mardi 7 juin liPolo2y
mercredi 8 juin 2ywimira
jeudi 9 juin qOcykoja
vendredi 10 juin tariz0hy
Le réseau est protégé par WPA-PSK ce qui assure la confidentialité des transmissions. Le mot de passe est changé tous les jours. Les machines connectées sur PolytechGuests reçoivent leurs coordonnées IP par l'intermédiaire de DHCP sans déclaration préalable. L'utilisation explicite d'un mandataire web n'est pas indispensable (détection automatique ou utiliser proxy.polytech-lille.fr). Avant de pouvoir utiliser Internet, il est impératif de se connecter à une page web quelconque (http://www.polytech-lille.fr par exemple). Une page web s'affiche alors présentant la charte d'utilisation de ce réseau Wifi. Il faut l'accepter pour pouvoir utiliser Internet par la suite.

Amphis

Il vous est demandé de ne pas manger ni boire dans les amphis. Merci.

Programme

Retrouvez le programme en détails : http://www.lifl.fr/idm-gpl/pier/programs

Repas de midi

 : au RU Barrois.
C’est un self-service. Vous pouvez prendre 1 plat principal, 3 périphériques et une boisson.
N’oubliez pas votre ticket repas que vous devez remettre enfin de chaîne.
Y aller : suivre la ligne de métro en marchand en dessous jusqu'à voir le RU Barrois sur votre droite (immédiatement après la station ‘Cité Scientifique’)
En revenir : suivre la ligne de métro dans l’autre sens jusqu'à voir Polytech sur votre droite.
Laisser son sac/portable : Les amphis seront fermés pendant les repas. Vous pouvez y laisser vos affaires, mais soyez quand même prudent (Les organisateurs ne pourront pas être tenu pour responsable en cas de problèmes).

Métro

Dernier métro peu après minuit !

Evénement social

Visite guidée de Lille mercredi 8 juin.
Départ : 18h30 devant l’office du tourisme de Lille, Palais Rihour.
Arrivée  : Devant le couvent des Minimes pour le gala
Y aller : Métro Rihour (métro ligne 1, descendre station Rihour)

Mardi 7 juin


CAL IDM IDM

CAL IDM IDM
8h30
9h00
Accueil

9h00
10h30
Workshop RCS2
  • Aziza Sabri, Laila Kjiri Vers une approche à base de composants pour la conception des systèmes d'informations décisionnels: existant et perspectives
  • Sonia Yassa, Hubert Kadima Négociation dynamique des services fondée sur le SLA dans un Cloud
  • Peio Loubière, Florent Devin, Yannick Le Nir Evolution générique d'une application web spécifique
Amphi Lebon
Session composition
Président : Julien DeAntoni, INRIA
  • Christian Brel, Sebastien Mosser Vers une approche flot de données pour supporter la composition d'interfaces homme machine
  • Cauê Clasen, Frédéric Jouault, Jordi Cabot Virtual Composition of EMF Models
  • Julien Bigot, Christian Pérez On Model-Driven Engineering to implement a Component Assembly Compiler for High Performance Computing
Amphi Migeon
Démos d'outils 1
Président : Anne Etien, LIFL
  • Olivier Caron, Bernard Carre and Gilles Vanwormhoudt Bibliothèque de patterns via des templates de modèles. Atelier UML étendu sous Eclipse
  • Clément Quinton, Christophe Demarey, Nicolas Dolet and Laurence Duchien AppliDE : modélisation et génération d'applications pour smartphones
Amphi Appert
10h30
11h00
Pause

11h00
12h30
Workshop RCS2 - (Table Ronde)
  • Evolution du principe de Réutilisation entre Objet, Composant, Services et Cloud Services
Amphi Lebon
Applications
Président : Sébastien Gérard, CEA
  • Carlos Gomez, Julien Deantoni and Frédéric Mallet Semantic Multi-View model for Low-Power
  • Mickael Kerboeuf, Alain Plantec and Jean-Philippe Babau An experiment of a MDE approach for the design of reusable DSL tools
  • Marc Palyart HPCML - un langage dédié au calcul scientifique
Amphi Migeon
Démos d'outils 2
Président : Anne Etien, LIFL
  • Areski Flissi and Gilles Vanwormhoudt Conception de services télécoms : une approche IDM à base d'acteurs, sessions et rôles
  • Olivier Moïses Le projet Wazaabi: un interpréteur de modèles EMF d'UI et un moteur de databiding déclaratif
Amphi Appert
12h30
14h00
Repas

RU Barrois
14h00
15h30
Ouverture et session 1 - Table ronde
  • Fadila Aoussat, Mourad Oussalah and Mohamed Ahmed Nacer Métamodélisation architecturale de procédés logiciels
  • Victor Noel and Jean-Paul Arcangeli Frameworks, architectures et composants : revisiter le développement de systèmes multi-agents
  • Mariam Lahami, Moez Krichen and Mohamed Jmaiel A distributed Test Architecture For Adaptable and Distributed Real-Time Systems
Amphi Lebon
Models@Runtime
Président : Olivier Barais, IRISA
  • Diana Moreno Garcia and Elmehdi Damou Model-driven execution of service-based applications
  • Eric Cariou, Cyril Ballagny, Alexandre Feugas and Franck Barbier Une approche de vérification d'exécution de modèles par contrats
Amphi Migeon
Transformations et Langages
Président : Xavier Blanc, LABRI
  • Bacha Firas, Kathia Oliveira and Mourad Abed Transformation des modèles de BPMN vers UIML
  • Vanea Chiprianov, Yvon Kermarrec and Siegfried Rouvrais Practical (meta-)model extension for modeling language profiles. An enterprise architecture modeling language extension for telecommunications service creation
  • Clément Guy, Steven Derrien, Benoît Combemale and Jean-Marc Jezequel Vers un rapprochement de l'IDM et de la compilation
Amphi Appert
15h30
16h00
Pause

16h00
17h00
Session 2
  • Meriem Benhaddi, Karim Baïna and El Hassan Abdelwahed Alignement du Mashuping et des techniques d'orchestration des services
  • Emna Fki, Chantal Soulé Dupuy, Said Tazi and Mohamed Jmaiel Vers une composition de services basée sur les patrons de services et dirigée par les intentions
  • Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong and Than-Liem Phan Analyse de l'interopérabilité et de la conformité d'architectures logicielles
  • Nour Aboud, Eric Cariou and Eric Gouarderes Towards a Component Agent Service Oriented Model
Amphi Lebon
Models@Runtime
  • Faiez Zalila, Xavier Crégut and Marc Pantel Approche transparente pour la vérification des modèles métiers
  • Alexandre Feugas, Sébastien Mosser, Anne-Françoise Le Meur and Laurence Duchien Déterminer l'impact d'une évolution dans les processus métiers
Amphi Migeon
Processus
Président : Jean-Michel Bruel, IRIT
  • Bernard Coulette, Eric Kedji, Mahmoud Nassar and Redouane Lbath Vers un méta-modèle pour la description des processus IDM collaboratifs
  • Emmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet and Jean-Marc Jézéquel Bridging the Gap between Software Process and Software Development
Amphi Appert
17h00
17h30
Assemblée Générale de l'Action IDM

Amphi Migeon
17h30
18h30
18h30
20h45
Cocktail Dinatoire - Hall de Polytech

Revenir en haut de la page

Mercredi 8 juin


CAL IDM IDM GDR GPL GDR GPL

CAL IDM IDM GDR GPL GDR GPL
8h00
8h30
Accueil

Accueil

8h30
9h00
Ouverture des Journées

Jean-Christophe Camart, Directeur de Polytech' Lille
Isam Sharour, Vice-président recherche de Lille 1
David Simplot-Ryl, Directeur du centre de recherche INRIA-Lille Nord Europe
Sophie Tison, directrice du LIFL
Laurence Duchien (LIFL, Université Lille 1, INRIA Nord-Europe)
Yves Ledru, directeur du GDR GPL


Amphi Migeon
9h00
10h30
Session 3
  • Nadira Benlahrache, Faiza Belala and Kamel Barkaoui Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques
  • Chouki Tibermacine and Mohamed Lamine Kerdoudi Migration d'applications à base de composants Web en services et orchestration de services Web
  • Mohamed Tahar Bhiri, Mourad Kmimech and Mohamed Graiet De Wright vers Ada
  • Mustapha Hain, Abdelaziz Marzak and Bernard Coulette Vers une démarche pour le développement de PIM à base de Composants Multivue
Amphi Lebon
Conférence
    Tom Mens Service de Génie Logiciel, Institut d'Informatique, Faculté des Sciences, Université de Mons, Belgique
Analyse de l'évolution des aspects sociaux dans les projets logiciels
Amphi Migeon
10h30
11h00
Pause et Posters

11h00
12h30
Conférence
    Didier Donsez Polyetch Grenoble - Université Joseph Fourier - Grenoble 1
Vertus et vices de la plateforme dynamique de services OSGi
Amphi Migeon
Vérification et Validation 1
Président : Roland Groz, Ensimag
  • Cyril Faucher, Samnang Chea, Frédéric Bertrand, Jean-Yves Lafaye Validation sémantique d'objets a l'aide d'un modèle de référence et de contraintes
  • André, Gilles Ardourel, Mohamed Messabihi Vérification de contrats logiciels à l'aide de transformations de modèles
Amphi Chappe
Session GT RIMEL
  • Jannik Laval, Usman Bhatti, Nicolas Anquetil, and Stéphane Ducasse Software Maintenance Analysis and Understanding of the Software Structure
  • Simon Allier , Salah Sadou, Houari A. Sahraoui, Régis Fleurquin D'une application orientée objet vers une application à base de composants via une architecture à base de composant
  • Tom Mens, Benoît Vanderose, Leandro Doctors, and Flora Kamseu Etudes empiriques sur la qualité d'un logiciel lors de son évolution ? l'approche MoCQA
Amphi Lebon
Session GT Compilation - (2 présentations)
Président : Laure Gonnord
  • Fabien Coelho, François Irigoin Compiling for a Heterogeneous Vector Image Processor
  • Julien Henry Analyse statique de programme par Interprétation Abstraite
Amphi Appert
12h30
14h00
Repas

RU Barrois
14h00
15h30
Session 4
  • Rabah Mokhtari, Allaoua Chaoui and Mohamed Redha Bahri Transformation des architectures logicielles dynamiques vers des documents XML en utilisant ATOM3
  • Ahmed Harbouche, Abdellah Kouider el Ouahed and Hamid Azzoune Développement de Systèmes Multi-agents par Transformation de Modèles
  • Suzy Temate, Alain Tchana, Laurent Broto and Daniel Hagimont Une approche de haut niveau pour générer des Editeurs Graphiques de Langage Dédiés
  • Sébastien Limet, Sophie Robert and Ahmed Turki Construction automatique d'applications de visualisation scientifique interactives sous contraintes de cohérences
Amphi Lebon
Conférence
Le défi des distributions de Logiciels Libres
Amphi Migeon
15h30
16h00
Pause et Posters

Session Posters/Démos et Pause café
  • Pascal André, Mohamed Messabihi and Gilles Ardourel COSTO / Kmelia : a Platform to Specify and Verify Component and Service Software
  • Julien Cohen, Akram Ajouli and Rémi Douence Program Transformation based Views for Modular Maintenance
  • Antoine Beugnard and Ali Hassan Cloud Components for Highly Distributed Environments
  • Diana Allam, Herve Grall and Jean-Claude Royer Towards a unified formal model for service orchestration and choreography
  • Vanea Chiprianov, Yvon Kermarrec and Siegfried Rouvrais Construction collaborative de services de télécommunications: un processus dirigé par les modèles pour la génération d'outils
Hall Polytech
16h00
16h30
Clôture de CAL -
Amphi Lebon
Vérification et Validation 2
Président : Thomas Lambolais, Ecole de Mines d'Ales
  • Valerio Cosentino, Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro and Scott Lee Une approche de MDE pour la résolution de problèmes de configuration : Une application à la plate-forme Eclipse
  • Marie De Roquemaurel, Jean-Paul Bodeveix and Mamoun Filali-Amine Réécriture de contraintes OCL
  • Amine Raji and Philippe Dhaussy Modèles orientés utilisateurs pour la vérification formelle en contexte industriel
Amphi Chappe
Movida
Président : Xavier Le Pallec, LIFL
  • Marie Gouyette, Olivier Barais, Jérôme, Lenoir, Cédric Brun, Marcos Almeida Da Silva, Xavier Blanc and Jean-Marc Jezequel Movida Studio: a modeling environment to create viewpoints and manage variability in views
Amphi Appert
16h30
17h30
Table Ronde

Libre et open source, tendances, enjeux et impacts pour la recherche et l'économie numérique
  • animateurs :
    • Franck Barbier
  • participants :
    • François Mérand Microsoft Alliance, National Practice Leader at Sogeti
    • François Letellier Consultant indépendant - logiciel open source et innovation ouverte
    • Roberto di Cosmo Laboratoire PPS, Université de Paris VII
Amphi Migeon
17h30
18h00
réunion LMO

18h00
18h30
18h30
20h00
Visite guidée de Lille

Départ : place Rihour, arrivée : Couvent des Minimes


20h00
23h59
Repas de Gala, Couvent des Minimes, Lille

Revenir en haut de la page

Jeudi 9 juin


GDR GPL GDR GPL

GDR GPL GDR GPL
8h30
9h00
Accueil

9h00
10h30
Conférence
Modèles et outils pour la vérification de programmes utilisant la cryptographie
Amphi Migeon
10h30
11h00
Pause et Posters

11h00
12h30
Session GT IDM
  • Thierry Millan et Agusti Canals L'ingénierie Dirigée par les modèles : où en est-on ?
  • Ileana Ober, Sébastien Gérard Modeling Wizards: École d'automne dédiée à la modélisation
  • Reda Bendraou, Marcos Aurélio Almeida da Silva, Xavier Blanc and Marie-Pierre Gervais Early Deviation Detection in Modeling activities of MDE Processes
Amphi Appert
Session GT LTP
  • Thomas Jensen, Florent Kirchner, et David Pichardie Spécification et validation des politiques de copies d'objet
  • Paolo Herms, Claude Marché, and Benjamin Monate A Certified Weakest Precondition Calculus
  • Pierre Castéran, Vincent Filou, Allyx Fontaine Preuves formelles de systèmes de calculs locaux
Amphi Migeon
12h30
14h00
Repas

RU Barrois
14h00
15h00
Discussions

Discussion avec Jean-Pierre Cocquerez sur les évolutions et actions de l'INS2I.
Présentation par Yves Ledru des actions en cours dans le GDR GPL


Amphi Migeon
15h00
16h00
Pause, Posters et Démonstrations

16h00
17h30
Session GT AFSEC
  • Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet Divide and Recycle: Types and Compilation for a Hybrid Synchronous Language
  • Sandie Balaguer, Thomas Chatain, Stefan Haar Building Tight Occurrence Nets from Reveals Relations
  • Euriell Le Corronc, Bertrand Cottenceau et Laurent Hardouin Flow Control with (Min,+) Algebra
Amphi Appert
Session GT COSMAL
  • Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC
  • Gwenaël Delaval et Éric Rutten Modèles réactifs pour le contrôle de reconfiguration dans le modèle à composants Fractal
  • Sébastien Mosser, Gunter Mussbacher, Mireille Blay-Fornarino et Daniel Amyot Une approche orienté aspect allant du modèle d'exigences au modèle de conception
Amphi Migeon
17h30
19h30
Réunion des comités

Amphi Migeon

Revenir en haut de la page

Vendredi 10 juin


GDR GPL GDR GPL COSMAL

GDR GPL GDR GPL COSMAL
8h00
8h30
Accueil

8h30
9h00
Accueil

Session de présentations 1
Président : Chouki Tibermacine
  • 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
Amphi Lebon
9h00
10h30
Session GT Forwal
Président : Olga Kouchnarenko
  • Iovka Boneva, Anne-Cécile Caron, Benoît Groz, Yves Roos, Slawek Staworko, Sophie Tison Vues de sécurité pour documents XML
  • Y. Boichut, J.-M. Couvreur, D. Nguyen Systèmes de Réécriture Fonctionnels pour le Model-Checking Symbolique
Amphi Migeon
Session GT MTV2
  • Johan Oudinet(6), Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, and Sylvain Peyronnet Exploration uniforme de modèles: application au model-checking de formules LTL
  • Sébastien Bardin, Philippe Herrmann, and Franck Védrine Refinement-based CFG Reconstruction from Executables
  • Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam Génération de tests à partir de mutations de protocoles de sécurité en HLPSL
Amphi Appert
10h30
11h00
Pause

11h00
12h30
Session GT MFDL
  • Marie de Roquemaurel, Thomas Polacsek, Jean-Paul Bodeveix, Mamoun Filali Assistance à la conception de modèles à l'aide de contraintes
  • Philippe Dhaussy, Fredéric Boniol, Pierre-Yves Pillain, Yves Le Traon, Benoit Baudry Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
  • Christophe Junke, Critères de tests pour les automates de modes et application au langage Scade 6
Amphi Migeon
Session GT LaMHa
  • Jean Fortin et Frédéric Gava BSP-Why: an intermediate language for deductive verification of BSP programs
  • Frédéric Peschanski Principes et Pratiques de la Programmation Concurrente en Pi-calcul
  • Chong Li, Gaëtan Hains SGL - Programmation parallèle hétérogène et hiérarchique
Amphi Appert
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
Amphi Lebon
12h30
13h00
Clôture

Proclamation du meilleur poster
Amphi Migeon
Repas

RU Barrois
13h00
14h00
Repas

RU Barrois
14h00
16h00
Tutoriel sur SCA et FraSCAti

Session pratique et démo d'outils
Orateur : Philippe Merle


16h00
16h30
Pause

16h30
18h00
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.
Président : Philippe Merle
Amphi Migeon
18h00
18h30
Session de démonstrations d'outils
Amphi Migeon

Revenir en haut de la page

Gala

Mercredi 20h00 Couvent des Minimes à Lille.

Y aller : Métro Rihour, puis suivre le plan

Adresse : 17, Quai du Wault - 59000 Lille, France Tel : +33 (0)3 20 30 62 62

Plan du campus