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 |
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.
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 ?
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
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.
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.
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.
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.
