Programme général de IDM
dernière mise a jour: 2011/06/01 16:55:08
Programmes : Général Court CAL
COSMAL
GDR GPL
IDM
Mardi 7 juin
- 8h30-9h00
- 9h00-10h30 Amphi Appert
- Démos d'outils 1
- 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
- 9h00-10h30 Amphi Migeon
- Session composition
- 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
- 10h30-11h00
- 11h00-12h30 Amphi Migeon
- Applications
- 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
- 11h00-12h30 Amphi Appert
- Démos d'outils 2
- 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
- 12h30-14h00 RU Barrois
- 14h00-15h30 Amphi Appert
- Transformations et Langages
- 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
- 14h00-15h30 Amphi Migeon
- Models@Runtime
- 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
- 15h30-16h00
- 16h00-17h00 Amphi Appert
- Processus
- 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
- 16h00-17h00 Amphi Migeon
- 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
- 17h00-18h30 Amphi Migeon
- Assemblée Générale de l'Action IDM
- 18h30-20h45
- Cocktail Dinatoire - Hall de Polytech
Revenir en haut de la page
Mercredi 8 juin
- 8h00-8h30
- 8h30-9h00 Amphi Migeon
- 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
- 9h00-10h30 Amphi Migeon
- Conférence invité
- Analyse de l'évolution des aspects sociaux dans les projets logiciels
- Tom Mens
Service de Génie Logiciel, Institut d'Informatique, Faculté des Sciences, Université de Mons, Belgique
- résumé :
- Le génie logiciel empirique s'intéresse aux études empiriques permettant de comprendre et d'améliorer certains aspects du processus logiciel. Nombre d'entre elles sont dédiées à l'évolution des projets logiciels. Elles extraient les données pertinentes venant de dépôts logiciels ou d'autres sources de données couramment utilisées par les développeurs. Nous suggérons d'élargir ce type d'études empiriques en tenant compte de l'information concernant les communautés de développeurs, ainsi que leur façon de travailler, d'interagir et de communiquer. L'hypothèse sous-jacente étant que les aspects sociaux influent significativement la qualité du produit logiciel, ainsi que la manière dont ce produit évolue au fil du temps. Dans cette conférence, nous présenterons un outil permettant d'extraire, de visualiser et d'analyser l'information concernant les communautés gravitant autour d'un projet logiciel. Nous montrerons quelques études empiriques effectuées avec cet outil, et nous ouvrirons des nouvelles pistes de recherche dans ce domaine de recherche combinant l'analyse des réseaux sociaux et le génie logiciel empirique.
- 10h30-11h00
- 11h00-12h30 Amphi Chappe
- Vérification et Validation 1
- 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
- 12h30-14h00 RU Barrois
- 14h00-15h30 Amphi Migeon
- Conférence invité
- Le défi des distributions de Logiciels Libres
- résumé :
- Les distributions de logiciels libres, comme Debian, RedHat, ou Ubuntu, sont parmi les plus grands systemes a composants existants, basees sur les paquets, avec leurs metadonnees, avec une serie d'outils qui permettent d'ajouter ou enlever des composants selon le besoin des utilisateurs. Faire evoluer les distributions est une tache complexe qui pose des nombreux defis: dans cet expose, apres avoir donne une formalisation simple des distributions de logiciels libres, on passera en revue plusieurs resultats et algorithmes developpes ces dernieres annees pour repondre a des questions comme "quel composant est le plus important parmi les 27.000 de Debian squeeze?", ou "quel changement de version aura le plus d'impact sur le systeme?".
- 15h30-16h00
- 16h00-18h00 Amphi Appert
- Movida
- 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
- 16h00-18h00 Amphi Chappe
- Vérification et Validation 2
- 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
- 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