Journées IDM 2010
Pau, 9 - 10 mars 2010
IDM'2010
Après Nancy en 2009, la sixième édition des Journées sur l'Ingénierie Dirigée par les Modèles aura lieu à Pau la semaine du 8 mars 2010. IDM'10 se propose de réunir à nouveau les chercheurs intéressés par les multiples facettes des métamodèles, modèles, transformations de modèles et de leurs utilisations. Ces journées seront mises à profit pour débattre des théories et pratiques actuelles de l'Ingénierie Dirigée par les Modèles et de ses applications et participeront à la structuration de cette communauté. Les chercheurs francophones peuvent et doivent largement contribuer à ce vaste mouvement, notamment en établissant des ponts interdisciplinaires pour profiter au mieux des avancées technologiques de chacun.
Cette année à Pau, pour la seconde fois, IDM, LMO et CAL auront lieu à la même date et au même lieu. Les journées du GDR – GPL seront également organisées la même semaine à Pau. Nous espérons ainsi favoriser et amplifier les échanges entre tous les participants. L'appel à contributions pour les journées IDM est indépendant de ces conférences, même si des sessions communes pourront être organisées en concertation avec les différents comités de programme.
En 2010, les journées IDM adoptent un nouveau format. Elles seront organisées autour de 3 sessions thématiques couvrant des thèmes importants de la recherche en IDM ou faisant interagir l'IDM avec d'autres thèmes majeurs du génie logiciel. A travers cette organisation l'action IDM souhaite jouer son double rôle d'animateur de la communauté IDM en France et d'action transverse favorisant les échanges entre communautés scientifiques.
En plus des journées IDM à Pau, l'action IDM organise également une journée sur la modélisation orientée aspects, associée à la conférence internationale AOSD, organisée à Rennes et Saint Malo du 15 au 19 mars 2010
L'action IDM tiendra son assemblée générale le mardi 9 mars à 18h
Le mercredi 10 mars en fin de journée nous ferons le point sur la nouvelle formule des journées IDM au cours d'une courte réunion de synthèse.
Sessions IDM'2010
Session 1 : IDM et IHM (Site web)
Contacts : Gaelle Calvary, Anne-Marie Dery-Pinna, Sophie Dupuy
Contexte
La communauté d'Ingénierie de l'Interaction Homme-Machine (IHM) s'est très tôt intéressée à modéliser l'interaction homme-machine selon différentes perspectives complémentaires (utilisateur, tâches, dialogue, structure de l'IHM, présentation concrète, architecture logicille …). Avec l'informatique ambiante, les objectifs de l'utilisateur émergent, le contexte d'usage et les ressources requises sont variables, multiples et pas toujours prévisibles. Cette variabilité appelle à de nouvelles approches : une des voies explorées actuellement est l'Ingénierie Dirigée par les Modèles (IDM).
Objectif
L’atelier a comme objectif de forcer la rencontre entre les deux communautés. Aussi, il est important que
- les chercheurs en IHM viennent présenter leurs recherches mettant en œuvre des modèles ;
- les chercheurs en IDM viennent présenter leurs dernières avancées dans l’optique que l’IHM se révèle un cas d’étude permettant d’identifier les forces et limites de leurs démarches
Le point d’avancement favorisera les nouveautés 2008-2009* : quels nouveaux modèles et métamodèles pour la conception et l’évaluation des IHM ? quelles transformations et quelles règles de cohérence ? A quelles étapes des processus de conception ? Quelles utilisations des modèles à l’exécution et des collaborations entre modèles ? Quels outils ? etc. Avec si possible, des retours d’expérience théoriques et pratiques.
Format
L’atelier est organisé sur une demi-journée. Il sera structuré en trois temps : 1- présentations de 5 min ; 2- discussion ; 3-synthèse
Trois ateliers ont déjà été organisés sur le sujet : à IDM’08, IHM’06 et IHM’08.
Session 2 : SafeModel (Site web)
Contacts : Benoit Combemale, Isabelle Borne
La complexité croissante des systèmes logiciels rend leur compréhension et leur conception de plus en plus délicate. Dans le cas des logiciels dédiés aux systèmes autonomes ou réactifs comme ceux appliqués au transport les aspects sûreté de fonctionnement, vivacité, etc. sont essentiels.
Le développement de systèmes critiques souffre d'un manque de méthode et d'outils intégrant la sécurité/fiabilité dans tout le processus de développement. La cohabitation de différents modèles, outils et méthodologies est loin de simplifier la compréhension du système et d'assurer une conception fiable.
L'atelier SafeModel propose d'explorer les possibilités de l’Ingénierie Dirigée par les Modèles (IDM) et la combinaison de méthodes formelles pour la mise en place d’un processus de développement outillé et orienté composants intégrant les aspects spécification, vérification, implantation et la certification sur des architectures logicielles spécifiques. Outre les possibilités d’utiliser des outils d’analyse de modèles permettant une détection des erreurs dans les phases amont du développement, les avantages escomptés d’une approche modèle sont: la réutilisation de composants validés, la vérification des assemblages de composants, la génération d’implantations, la certification des applications, la synthèse de modèles, l'utilisation des modèles à l'exécution, etc.
L’objectif général de cet atelier vise à promouvoir des méthodes de conception capables d’appréhender la complexité des systèmes logiciels critiques afin d’augmenter/prouver leurs fiabilités tout en facilitant le travail de leurs concepteurs. Pour plus de détails vous pouvez consulter la page de SafeModel.
Session 3 : Modèles, Déploiement, Reconfiguration, Evolution et Adaptation Dynamiques
Contacts : Maite Segarra Montesinos, Jean-Marie Gilliot
Que ce soit pour installer une mise à jour ou bien pour prendre en compte les évolutions de leurs environnements et plates-formes d'exécution, un certain nombre d'applications ne peuvent être interrompues et doivent être capables de se modifier en cours d'exécution. A leur déploiement, ces applications doivent tenir compte de la réalité des plates-formes d'exécution. Puis au cours de l'exécution, elles doivent se reconfigurer dynamiquement, que ce soit pour s'adapter aux changements de leur contexte ou bien pour intégrer « à chaud » les évolutions des logiciels. Concevoir et réaliser de telles applications pose des problèmes d'ingénierie liés notamment à l'identification et réalisation des alternatives de configuration ainsi qu'à leur intégration au sein de l'application.
L'ingénierie dirigée par les modèles est une alternative prometeuse comme support pour gérer ces problèmes. Des travaux dans cette voie incluent la modélisation du contexte d'exécution pour mettre en évidence comment l'environnement influence les applications adaptables, la modélisation du déploiement pour analyser la sûreté de celui-ci, la réification des raffinements des modèles décrivant les applications pour identifier des alternatives d'implantation.
Du point de vue de l'ingénierie des modèles, les applications dynamiquement adaptables conduisent à considérer des plates-formes dynamiques et des besoins potentiellement mouvants. Il s'agit d'une motivation pour augmenter la prise en compte de la dynamicité dans l'ingénierie dirigée par les modèles.
L'objectif de cette journée est de rassembler les communautés scientifiques travaillant sur le déploiement, la reconfiguration et l'adaptation dynamique et celles étudiant l'ingénierie dirigée par les modèles. La journée prendra la forme d'exposés d'équipes travaillant dans les deux domaines. Les communautés pourront échanger leurs points de vue sur l'utilisation et les apports de l'ingénierie dirigée par les modèles dans le cadre de l'adaptation dynamique. De nouveaux thèmes de recherche et de nouveaux partenariat pourront ainsi émerger.
Thèmes
- modélisation du déploiement, planification
- protocoles et langages de reconfiguration, outillage pour la conception de reconfigurations
- évolution, mise à jour « à chaud »
- adaptation dynamique, systèmes autonomes
- modélisation des reconfigurations, des applications dynamiquement adaptables
Session 4 : Transformations et DSL
Contacts : Mikal Ziane, Pierre-Etienne Moreau
Le GT « transformations de programmes et de modèles » du GDR GPL et l’action IDM organisent une session commune sur le thème des DSL (domain-specific languages).
Nous vous invitons a proposer un exposé en français, senior (associé à un article déjà accepté dans un forum national ou international) dans le cadre du GDR ou junior (un travail moins avancé mais qui peut susciter des discussions) dans le cadre de l’action IDM.
Les exposés porteront par exemple sur les techniques ou les outils de transformation pour les DSL. Des retours d’expérience sont aussi bienvenus.