LMO 2009 Nancy
Langages et Modèles à Objets


logo_confs
Accueil
Appel à communications
Conférenciers invités
Ateliers, posters, démos
Programme
Comité de programme
Comité d'organisation
Soumission
Inscription
Vie pratique
Sponsors
Site permanent LMO
Site LMO'08

Programme des conférences

CAL 2009 (3ème Conférence sur les Architectures Logicielles)
IDM 2009 (5èmes Journées sur l'Ingénierie Dirigée par les Modèles)
LMO 2009 (15ème Conférence sur les Langages et Modèles à Objets)
du 24 au 27 mars 2009, Nancy, France.


Résumé du programme PDF
Programme détaillé PDF

Les événements concernant CAL sont accessibles avec une inscription CAL ou avec le package CAL/IDM/LMO.
Les événements concernant IDM sont accessibles avec une inscription IDM ou avec le package CAL/IDM/LMO.
Les événements concernant LMO sont accessibles avec une inscription LMO ou avec le package CAL/IDM/LMO.

Mardi 24 mars 2009

CAL

8h30 - 9h30

Inscriptions

9h30 - 10h00

Ouverture CAL 2009

10h00 - 11h00

Session CAL 1 : Expression des besoins et architecture logicielle. Amphi C

11h00 - 11h30

Pause

11h30 - 12h30

Session CAL 2 : Vérification d'architecture logicielle. Amphi C

13h00 - 14h30

Repas

14h30 - 15h30

Session CAL 3 : Architecture des intergiciels. Amphi C

15h30 - 16h00

Pause

16h00 - 17h00

Conférencier invité CAL : Denis Caromel. Amphi C

17h00 - 18h30

Cocktail de bienvenue

Programme


Mercredi 25 mars 2009

Journée commune CAL-IDM-LMO

8h15 - 9h00

Inscriptions

8h45 - 9h00

Ouverture IDM et LMO 2009

9h00 - 10h00

Conférencier invité CAL/IDM/LMO : Patrick Albert. Amphi C

10h00 - 10h30

Pause + démos + posters

10h30 - 12h00

Session commune : Ingénierie logicielle. Amphi C

12h00 - 13h00

AG de l'action IDM, transverse aux GDR GPL, ASR et I3

13h00 - 14h00

Repas

14h00 - 15h30

Atelier SafeModels. Amphi C

Atelier Applications de l'IDM. Salle A008

15h30 - 16h00

Pause + démos + posters

16h00 - 17h00

Atelier SafeModels. Amphi C

Atelier Applications de l'IDM. Salle A008

17h00 - 17h30

Pause + démos + posters

17h30 - 18h30

Panel : Difficultés industrielles en IDM

18h30 - 19h00

Retours Ateliers

19h30 - 23h00

Repas de Gala et Musique aux Grands Salons de l'Hôtel de Ville Place Stanislas

Programme


Jeudi 26 mars 2009

IDM

LMO

8h30 - 9h30

Atelier des étudiants

Inscriptions

9h30 - 10h30

Session IDM 1 : Outils pour l'IDM. Salle A008

Session LMO 1 : Langages 1. Amphi C

10h30 - 11h00

Pause

11h00 - 12h00

Session IDM 2 : Applications de l'IDM. Salle A008

Session LMO 2 : Langages 2. Amphi C

12h00 - 13h00

Session IDM 2 : Applications de l'IDM. Salle A008

Réunion CP élargi LMO

13h00 - 14h00

Repas

14h00 - 15h00

Session IDM 3 : Méthodologie. Salle A008

Session LMO 3 : Ingénierie et Réingénierie. Amphi C

15h00 - 16h00

Session IDM 3 : Méthodologie. Salle A008

16h00 - 16h30

Pause

16h30 - 17h30

Session IDM 4 : Tests et Validation. Salle A008

18h00 - 19H30

Événement culturel : visite de l'Aquarium de Nancy

19h30 - 21h00

Apéritif dans les salons de l'Hôtel de La Reine place Stanislas

Programme


Vendredi 27 mars 2009

LMO

8h45 - 9h00

Inscriptions

9h00 - 10h00

Conférencier invité LMO : Martin Odersky. Amphi C

10h00 - 10h30

Pause

10h30 - 12h00

Session LMO 4 : Modèles. Amphi C

13h00 - 14h00

Repas

14h00 - 14h15

Clôture LMO 2009

Programme

Détail du programme de la journée CAL

Mardi 24 mars 2009. 10h00 - 11h00. Session CAL 1 : Expression des besoins et architecture logicielle. Amphi C
    Bouchra El Asri, Adil Kenzi, Mahmoud Nassar et Abdelaziz Kriouile.
    Vers une architecture MVSOA pour la mise en oeuvre des composants multivue.

    Nicolas Ferry, Jean-Bernard Crampes et Salah Sadou.
    Architecture des IHM.

Mardi 24 mars 2009. 11h30 - 12h30. Session CAL 2 : Vérification d'architecture logicielle. Amphi C
    Pascal André, Christian Attiogbe et Mohamed Messabihi.
    Correction d'assemblages de composants impliquant des interfaces paramétrées.

    Malika Benammar, Faiza Belala, Kamel Barkaoui et Nadira Benlahrache.
    Extension d'ABAReL par les Propriétés d'Exécution.

Mardi 24 mars 2009. 14h30 - 15h30. Session CAL 3 : Architecture des intergiciels. Amphi C
    Grégory Nain, Olivier Barais, Régis Fleurquin et Jean-Marc Jézéquel.
    EntiMid : un middleware au service de la maison.

    Alain Tchana, Suzy Temate, Benoît Combemale, Laurent Broto et Daniel Hagimont.
    Exploitation des techniques de virtualisation pour l'administration autonome d'infrastructures logicielles réparties.

Mardi 24 mars 2009. 16h00 - 17h00. Conférencier invité CAL Denis Caromel. Amphi C
    ProActive Parallel Suite: Architecture + Model for Multi-Core and Distribution.
    Denis Caromel, INRIA-CNRS.

Détail du programme de la journée commune CAL-IDM-LMO

Mercredi 25 mars 2009. 9h00 - 10h00. Conférencier invité CAL/IDM/LMO Patrick Albert. Amphi C
    ILOG : vingt ans dans les objets, rétro et perspectives.
Résumé
    Patrick Albert, ILOG Fellow.

Mercredi 25 mars 2009. 10h30 - 12h00. Session commune Ingénierie logicielle - Présidente : M. Huchard. Amphi C
    An Phung-Khac, Jean-Marie Gilliot et Maria-Teresa Segarra (CAL)
    Une architecture de composants répartis adaptables.

    Eric Cariou, Nicolas Belloir, Franck Barbier (IDM)
    Contrats de transformation pour la validation de raffinement de modèles, /(20mn +10mn de questions)/

    Sébastien Mosser et Mireille Blay-Fornarino (LMO)
    Réflexions autour de la construction dirigée par les modèles d'un atelier de composition d'orchestrations.

Mercredi 25 mars 2009. 17h30 - 18h30. Panel : Difficultés industrielles en IDM - Animateur : Joël Champeau

Mercredi 25 mars 2009. 19h30 - 23h00. Repas de Gala et Musique aux Grands Salons de l'Hôtel de Ville Place Stanislas.
GDT et son abécédaire : groupe des tournées, détourné, dé tour né, des tour nez, détour né, détour nez, détourne hé ...
Le GDT joue les mots et dénote, déjoue les maux et se joue des mots dits, souffle, pince et percute les notes qui se jouent de lui ; il tourne, entourne et détourne la chanson cuivrée décalée sous des airs délurés de là-bas et d'ici, de partout et d'ailleurs ... Ce soir là il seront 7 dont 6 musiciens et 1 public, et vous voilà embarqués à danser, ça vous plaît ?

Détail du programme de la journée commune IDM-LMO

Sessions IDM

Jeudi 26 mars 2009. 9h30 - 10h30. Session IDM 1 : Outils pour l'IDM - Présidente : Marie-Pierre Gervais. Salle A008
    From UML Actions to Java, /(20mn)/
    Anis Charfi, Heiko Mueller, Andreas Roth, Axel Spriestersbach

    A Domain Specific Language for Expressing Model Matching, /(20mn)/
    Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin

Jeudi 26 mars 2009. 11h00 - 13h00. Session IDM 2 : Applications de l'IDM - Président : Michel Hassenforder. Salle A008
    Correspondances et transformations actives dédiées aux IHM, / (20mn)/
    Olivier Beaudoux, Arnaud Blouin, Slimane Hammoudi

    L'Ingénierie Dirigée par les Modèles au coeur d'un Framework d'aide à la composition d'interfaces utilisateurs, / (20mn)/
    Anne-Marie Dery, Audrey Occel lo, Philippe Renevier, Cedric Joffroy

    L'IDM pour la construction d'un éditeur de scénarios pédagogiques : vers un environnement intégré support au cycle de vie des scénarios, / (20mn)/
    Christian Martel, Laurence Vignollet, Salim Ouari , Christine Ferraris

    Model-based DSL Frameworks : A Simple Graphical Telecommunications Specific Modeling Language, / (10mn)/
    Vanea Chiprianov, Yvon Kermarrec

Jeudi 26 mars 2009. 14h00 - 16h00. Session IDM 3 : Méthodologie - Président : Eric Cariou. Salle A008
    Ingénierie des exigences par l'IDM, Assistance à l'ingénierie des systèmes complexes, / (20mn)/
    Eric Le Pors, Olivier Grisvard, Yvon Kermarrec

    Formalisation de bonnes pratiques dans les procédés de développement logiciels, / (10mn)/
    Vincent Le Gloahec, Régis Fleurquin, Salah Sadou

    Ingénierie des modèles pendant la phase de spécification du besoin, / (20mn)/
    Benjamin Chevallereau, Alain Bernard, Pierre Mévellec

    Un processus d'imitation de patrons d'ingénierie supporté par l'approche IDM, / (10mn)/
    Nicolas Arnaud, Agnès Front, Dominique Rieu, Sophie Dupuy-Chessa

    Industrial-strength Rule Interoperability using Model Driven Engineering, / (20mn)/
    Marcos Didonet Del Fabro, Patrick Albert, Jean Bézivin, Frédéric Jouault

Jeudi 26 mars 2009. 16h30 - 17h30. Session IDM 4 : Tests et Validation - Président : Cédric Dumoulin. Salle A008
    From Business Processes to Integration Testing,/ (20mn)/
    Stéphane Debricon, Fabrice Bouquet, Bruno Legeard

    Démarche de développement à base de composant d'applications embarquées tolérantes aux fautes, / (10mn)/
    Mohamed Lamine Boukhenoufa, Brahim Hamid, Agnès Lanusse, A. Radermacher

    Sûreté de Fonctionnement dans un processus basé sur l'Ingénierie Dirigée par les Modèles, / (10mn)/
    Daniela Cancila, Hubert Dubois, Morayo Adedjouma

Sessions LMO

Jeudi 26 mars 2009. 9h30 - 10h30. Session LMO 1 : Langages 1 - Président : M. Pantel. Amphi C
    Jean-Sébastien Gelinas, Jean Privat et Etienne Gagnon
    Prévention du déréférencement de références nulles dans un langage à objets.

    Floréal Morandat, Roland Ducournau et Jean Privat
    Evaluation de l'efficacité des implémentations de l'héritage multiple en typage statique.

Jeudi 26 mars 2009. 11h00 - 12h00. Session LMO 2 : Langages 2 - Président : O. Barais. Amphi C
    Alexandre Bergel
    Contrôler la visibilité des aspects avec Aspectboxes.

    Ali Assaf et Jacques Noyé
    Flexible Pointcut Implementation: An Interpreted Approach.

Jeudi 26 mars 2009. 14h00 - 15h00. Session LMO 3 : Ingénierie et Réingénierie - Présidente : Thérèse Libourel. Amphi C
    Jannik Laval, Alexandre Bergel et Stéphane Ducasse
    Matrice de dépendances enrichie.

    Mustapha Abdi, Hakim Lounis et Houari Sahraoui
    Analyse et prédiction de l'impact de changements dans un système à objets : Approche probabiliste.

Détail du programme de la journée LMO

Vendredi 27 mars 2009. 9h00 - 10h00. Conférencier invité LMO Martin Odersky. Amphi C
    Essentials of Scala.
Résumé
    Martin Odersky, Professeur à l'EPFL.

Vendredi 27 mars 2009. 10h30 - 12h00. Session LMO 4 : Modèles - Président : J. Euzenat. Amphi C
    Xavier Dolques, Marianne Huchard et Clémentine Nebut
    Génération de transformation de modèles par application de l'ARC sur des exemples.

    Marouane Kessentini, Houari Sahraoui et Mounir Boukadoum
    Méta-modélisation de la transformation de modèles par l'exemple : approche méta-heuristiques.

    Sabine Boufenara, Faiza Belala et Chafia Bouanaka
    Les Zero-Safe Nets pour la Préservation de la TTC (Traverse-To-Completion) dans les diagrammes d'activité d'UML.

Posters

    Simon Denier. The Moose reengineering platform.
    Bernard Coulette. VUML.
    Jean-Marie Mottu. Gaspard2.
    Vanea Chiprianov. Model-based DSL Frameworks.
    Plihon-Heiwy Veronique. Agent un prolongement naturel de l'objet ?.
    Jerome Euzemat. Similarité de Wu-Palmer généralisée pour les graphes orientés acycliques.
    Salim Ouari. Adaptation en temps réel d'activités collaboratives d'apprentissages en ligne.
    Valery Lopes, Eric LECLERCQ et Terrasse Marie-Noelle. Contrôle guidé par l'IDM des évolutions d'un système de recherche d'informations clinique.

Démonstrations

Les démonstrations de LMO

    Title: The Moose Analysis Environment
    Author:
(RMoD research group, LILLE)
    Abstract: Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. The reengineering of those systems often poses problems because of the considerable size and complexity of such systems. Moose is an analysis environment for software systems. Moose is a language independent environment which can deal with that complexity. This presentation will present some challenges in reengineering and how Moose address them.
    Link: http://moose.unibe.ch

    Titre : EMFScript : scripting méta-réflexif de modèles dans l'environnement EMF
    Auteurs : et (Equipe COCOA, LIFL, LILLE)
    Description : L'introspection de modèles est un mécanisme puissant des frameworks de modélisation existants comme EMF (Eclipse Modeling Framework) ou JMI (Java Metadata Interfaces). Cela permet à un programme de manipuler n'importe quel type de modèle en découvrant dynamiquement à l'exécution sa structure définie par son métamodèle. Ce mécanisme est un concept clé pour le développement d'environnements de modélisation génériques où les outils et les applications (moteurs de transformation, navigateur, ...) doivent être capables de manipuler tout type de modèles, de différents niveaux, sans connaissance préalable du métamodèle. Dans cette démonstration, nous proposons de présenter EMFScript un langage de manipulation de modèles EMF qui repose sur la notion de scripting méta-réflexif de modèles. Cette notion exploite l'introspection de modèles pour exposer automatiquement et dynamiquement n'importe quel (méta-)modèle au contrôle des programmes, à l'aide d'une notation compacte et de haut niveau. EMFScript peut-être mis à profit dans de nombreuses activités de l'ingénierie de modèles que nous illustrerons, comme par exemple la conception de métamodèles, le test interactif ou la composition de modèles.

Les démonstrations d'IDM

    Titre : Sintaks
    Auteur : (Laboratoire MIPS, ENSISA, Universite de Haute Alsace)
    Description : Je propose de montrer en live le fonctionnement de Sintaks et de son nouveau moteur automatique qui permet de manipuler des syntaxes concrètes à partir d'une syntaxe abstraite. Le principe est de partir d'une syntaxe abstraite et je construis au fur et à mesure une 'belle' syntaxe concrète. Le moteur est bidirectionnel il permet en final de lire du texte et de faire des modèles mais également d'aller dans l'autre sens.

    Titre : Kermeta en mode compilé
    Auteurs : et (Triskell Team, IRISA - INRIA Rennes)
   Description : L'adoption de l'ingénierie dirigée par les modèles (IDM) dans l'industrie dépend en partie de la capacité des outils IDM à passer à l'échelle et à offrir de bonnes performances afin de traiter des modèles volumineux. C'est ce souci de performance qui a conduit à inclure un compilateur dans la dernière version de la plate-forme Kermeta. Le mode compilateur de Kermeta permet de générer un plugin Java/EMF à partir d'une application écrite en Kermeta. Le processus de compilation comprend une transformation d'un modèle Kermeta vers un modèle Ecore annoté puis une génération vers un plugin Eclipse complètement compatible avec EMF. Le source généré peut être exécuté sous la forme d'un plugin Eclipse ou dans une application Java autonome. Nous présentons une démonstration du compilateur Kermeta en s'appuyant sur la simulation AntWorld. Cette simulation a pour objectif d'évaluer les performances d'un outil en terme de temps d'exécution et de consommation mémoire. Nous montrons également le gain de performance entre des exécutions de Kermeta en modes interprété et compilé. Enfin, nous comparons les performances de Kermeta avec celles d'autres outils de transformation de graphes en se basant sur cette même simulation.

    Title: VIDE (Visualize all moDel drivEn programming)
    Author: (Researcher SAP Research CEC Darmstadt, Germany)
    Abstract: This work has been done in the context of the EU project VIDE, which we finished recently. In the project we addressed the topics of Behaviour Modeling at the CIM and PIM layers. On the PIM layer, we defined a standard-compliant behavioural modeling language based on UML Actions and OCL for expressions and queries. Further, we have defined visual and textual syntaxes for that language and supporting editors. In addition, we built model compilers that generate complete and compile-ready applications (not only skeletons) from the PIM level models in several target languages such as Java, ODRA, etc.
    Link: http://www.vide-ist.eu

La démonstration de CAL

    Titre : EnTiMid : un middleware au service de la maison
    Auteur : (Université de Rennes 1 / IRISA / INRIA Bretagne Atlantique)
   Description : Le but de la démonstration est de montrer la pertinence des développements réalisés dans une optique "middleware pour la maison". La démonstration démontrera la simplicité de déploiement, la facilité d'interconnexion de produits non-compatibles, et des utilisations détournées de produits ouvrant de nombreuses perspectives.



Pour vos remarques ou suggestions, contactez le webmaster