IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles

Par rapport aux éditions précédentes, les journées IDM proposent cette année un nouveau format via 4 ateliers thématiques :

Pour plus d'informations sur ces ateliers, voir l'appel à communication d'IDM 2010.

Une assemblée générale de l'action IDM est également prévue, mardi en fin de journéé.

Mardi 9 Mars

9h30 - 13h00
Session « IDM et IHM »
  • S. Caffiau et P. Girard. Approche dirigée par les modèles pour une conception des modèles de tâches et de dialogue des applications interactives
  • G. Gauffre et E. Dubois. Diriger le développement des SI par paramétrisation de Transformations de Modèles
  • A. Kalawa et A. Occello. Evolution des modèles : application aux IHM
  • A. Blouin, G. Nain et O. Beaudoux. Malan et Malai pour la conception de SI : perspectives d'intégration dans Kermeta
  • O. Beaudoux, A. Blouin, M. Clavreul. Serveur d'IHM pour plate-forme IDM : architecture générique et implémentation
  • C. Faucher, F. Bertrand et J.-Y. Lafaye. Génération d'un métamodèle de composants graphiques à partir de la spécification d'une bibliothèque de composants Web
  • Y.R. Nehan, C. Souveyet et M. Kirsh Pinheiro. Architecture de système interactif adaptable basé sur les services intentionnels
  • J.-S. Sottet et E. Dubois. Rétro-ingénierie Dirigée par les Modèles pour les Systèmes Interactifs Mixtes
  • A. Garcia-Frey, G. Calvary et S. Dupuy-Chessa. Auto-explication des IHM par modèles
14h30 - 18h00
Session « SafeModel : IDM et combinaison de méthodes formelles »
  • Conférences invitées :
    • Patrick Farail (Airbus, Methods Development support Leader). Fundamentals of model-based engineering for Airbus Avionics & Simulation Products (45 mn)
    • Philippe Dhaussy (ENSIETA). Réflexions pour la correction de modèles logiciels (45 mn)
  • Présentation d'articles :
    • Amine Raji et Philippe Dhaussy. Automatic Formal Model Derivation from Use Cases (15 mn)
    • Xavier Crégut, Marc Pantel et Cosmin Ciuraru. Spécification et vérification de patrons de propriétés pour des langages dédiés (15 mn)
    • Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, Marc Pantel et François Vernadat. Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre (15 mn)
    • Vlad Rusu et Dorel Lucanu. Checking Semantical Consistency based on Observational Simulations (15 mn)
  • Table ronde et discussions (30 mn)
18h00 - 19h00
Assemblée générale de l'Action IDM

Mercredi 10 Mars

9h00 - 10h30
Conférence invité d'Ivica Crnkovic : A Classification Framework for Component Models
11h00 - 12h30
Présentation de l'institut INS2I du CNRS par Florence Sèdes et 1ère partie de la présentation des défis du Génie de la Programmation et du Logiciel :
  • Nicolas Anquetil, Simon Denier, Stéphane Ducasse, Jannik Laval, Damien Pollet, Roland Ducournau, Rodolphe Giroudeau, Marianne Huchard, Jean-Claude Konig et Abdelhak-Jamel Seriai. Software (re)modularization: Fight against the structure erosion and migration preparation
  • Gabriela Arévalo, Zeina Azmeh, Marianne Huchard, Chouki Tibermacine, Christelle Urtado et Sylvain Vauttier. Component and Service Farms: Towards folkregistries
14h00 - 17h30
Session « Modèles, Déploiement, Reconfiguration, Evolution et Adaptation Dynamiques» 
  • Présentations d'articles :
    • Makhlouf Derdour, Philippe Roose et Marc Dalmau, LIUPPA, Université de Pau. Meta-model for Multimedia Software Architectures
    • Hervé Verjus, Equipe Logiciels et Systèmes, Université de Savoie. Systèmes logiciels de fusion d'informations adaptatifs
    • Maria Teresa Segarra, Equipe CAMA, Télécom Bretagne. Model-Driven Engineering for Building Adaptive Distributed applications
    • Jérémy Buisson, Laboratoire Sciences de l'ingénieur des Ecoles de St Cyr Coëtquidan, Université de Bretagne Sud. Reconfiguration structurelle vs basée état
  • Table ronde et discussions

Jeudi 11 Mars

14h - 15h30
Session « Transformations et DSL » en commun avec la session du GT Transformation du GDR GPL
  • Marc Pantel (IRIT / Univ. Toulouse), Nassima Izerrouken (Continental, IRIT /Univ. Toulouse), Adrien Champion (IRIT / Univ. Toulouse), Jean-Charles Dalbin (Airbus SAS) et Frédéric Pothon (ACG Solutions).
    A pragmatic structural approach for the specification and verification of model transformations
  • Jérôme Delatour, Matthias Brun, Guillaume Savaton, Jonathan Ilias-Pillet et Cédrick Lelionnais (ESEO).
    Les plates-formes d'exécution dans l'IDM : Quelles modélisations pour quelles utilisations ?
  • ...