Programme général de Lille 2011 : CAL, IDM, COSMAL et GDR GPL

dernière mise a jour: 2011/06/01 16:55:08

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

Programme du Mardi 7 juin (CAL, IDM )
Programme du Mercredi 8 juin (CAL, IDM, GDR GPL )
Programme du Jeudi 9 juin (GDR GPL )
Programme du Vendredi 10 juin (GDR GPL, COSMAL )

Versions imprimables du programme de la semaine :

Version HTML
Version PDF (une impression papier de ce programme sera distribuée à chaque participant)

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		Assemblée Générale de l'Action IDM Amphi Migeon
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	Accueil	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 Roberto di Cosmo Laboratoire PPS, Université de Paris VII 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				réunion LMO
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 Cédric Fournet Microsoft Research 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		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