en association avec LMO 2006
le 21 mars 2006 à Nîmes
Pour rester utile, un système logiciel doit constamment évoluer. Ceci est
principalement dû à l'accroissement des exigences de ses utilisateurs.
Faire évoluer un système est un réel challenge impliquant la satisfaction
des besoins suivants : découvrir la partie du logiciel concernée par cette
évolution, trouver un moyen de la réaliser sans régression du système et
enfin, pouvoir valider cette évolution. Un autre challenge serait de
répondre aux besoins cités précédemment au moindre coût.
Cette atelier continue de suivre la conférence francophone LMO en tant que
manifestation connexe. Après Berne en 2005, il se propose de réunir, cette
fois-ci à Nîmes, les chercheurs intéressés par les différentes facettes
des problèmes liés à l'évolution du logiciel. Les soumissions attendues
pour cet atelier peuvent avoir deux formes possibles : soit d'un article
court (6 pages maximum) pour les travaux de recherche en cours, soit d'un
article long (15 pages maximum) pour des résultats de recherche. Dans les
deux cas, il est demandé aux auteurs d'utiliser le format Hermes. Les
soumissions doivent être envoyées, sous la forme d'un fichier pdf, à Salah
Sadou (Salah.Sadou@univ-ubs.fr)
avant le 11 Février 2006.
Cet atelier sera ouvert aux auteurs dont les articles auront été acceptés
puis aux autres personnes dans la limite des places disponibles. Le nombre
total des participants ne devra pas dépasser les 20 personnes.
Cet atelier est lié à la manifestation LMO mais n'exige aucun frais
d'inscription. Toutefois, pour participer il vous est demandé de vous
signaler à Salah Sadou (Salah.Sadou@univ-ubs.fr). Si vous
avez besoin d'un hébergement, nous vous recommandons d'utiliser les hôtels
proposés par les organisateurs de LMO.
Michel Dao (France Télécom, Issy-Les-Moulineaux)
Laurence Duchien (LIFL, Lille)
Régis Fleurquin (VALORIA, Vannes)
Marianne Huchard (LIRMM, Montpellier)
Thérèse Libourel (LIRMM, Montpellier)
Mourad Oussalah (LINA, Université de Nantes)
Salah Sadou (VALORIA, Vannes)
Dalila Tamzalit (LINA, Université de Nantes)
Programme
L'objectif de cet atelier est de donner une occasion à des chercheurs de présenter des travaux en cours et profiter de l'expérience de leurs collègues. De ce fait, chaque présentation et suivie d'une discussion. Le temps alloué à la discussion (25 à 30 mn) et plus important que celui de la présentation (15 à 20). Ci-dessous vous avez le tableau de passage pour les présentation avec résumé et lien sur les papiers. Veuillez prendre connaissance du contenu des papiers en avance afin de fournir les critiques les plus constructives.
| num |
Titre | Auteurs |
Résumé |
lien |
| 14h00 - 14h45 |
Un modèle de substitution pour les composants logiciels | Bart George, Régis Fleurquin, and Salah Sadou | L'un des buts ma jeurs du Génie Logiciel est de construire des applications complexes de façon simple. Pour ce faire, les composants logiciels doivent être décrits à la fois par leurs propriétés fonctionnelles et non-fonctionnelles. Le problème est alors de savoir quel composant peut satisfare un besoin spécifique dans un contexte de composition spécifique, que ce soit pendant la conception ou pendant la maintenance du logiciel. Nous pensons que dans les deux cas il s'agit d'un problème de substitution. Pour résoudre ce problème, nous proposons un modèle de substitution qui prend en compte les propriétés fonctionnelles et non-fonctionnelles, ainsi que le contexte de composition. | papier en pdf |
| 14h45 - 15h30 |
Resolving
Model Inconsistencies by means
of Sequential Dependency Analysis |
Tom Mens, Maja D'Hondt, Ragnhild Van Der Straeten | Model inconsistency management is a crucial aspect of model-driven software engineering. In this article we explore how the idea of transformation dependency analysis, and critical pair analysis in particular, can be used to improve automated support for the detection and resolution of model inconsistencies. As a proof-of-concept, we report on an experiment that we have carried out along these lines using the critical pair analysis algorithm implemented in the state-of-the-art graph transformation tool AGG. We use the technique to analyse sequential dependencies between model inconsistency resolution strategies. | papier en pdf |
| 15h30 - 16h15 |
Connexion non-anticipée de composants en S C L : une voie pour l'évolution des logiciels | Luc Fabresse, Christophe Dony, Marianne Huchard | La connexion non-anticipée de composants logiciels est un des points clés en génie logiciel car elle permet une meilleure réutilisation du code existant. Le travail présenté dans cet article se fonde sur l'idée qu'un tel mécanisme de connexion est aussi utile pour l'évolution des logiciels. C'est ainsi que nous présentons S C L, un langage à composants simple et dynamiquement typé intégrant un mécanisme de connexion de composants basé sur les ports et les propriétés des composants. Nous illustrons à travers des exemples comment ce mécanisme peut être utilisé pour faire évoluer une architecture logicielle. | papier en pdf |
| 16h15 - 16h30 |
PAUSE | |||
| 16h30 - 17h15 |
Visualisation du logiciel et de son évolution | Guillaume Langelier, Houari Sahraoui, Pierre Poulin | L'analyse de l'évolution du logiciel demande l'interprétation d'une quantité importante de données. Ces données ne peuvent être évaluées manuellement à cause de l'ampleur de la tâche et peuvent difficilement être évaluées automatiquement. Nous proposons une approche basée sur la visualisation de logiciels de grande taille appuyée par l'animation pour représenter l'évolution. La cohérence entre deux versions permet à l'utilisateur de s'y retrouver plus facilement. Nous donnons aussi des exemples concrets de phénomènes qu'il est possible de détecter à l'aide de notre outil. | papier en pdf |
| 17h15 - 18h00 |
Composition d’orchestrations de services : Explorations pour une approche «déductive» | Clémentine Nemo, Mireille Blay-Fornarino, David Emsellem | Le développement d’applications par orchestration de services présente entre autres avantages d’expliciter les enchaînements entre les services. La gestion de l’évolution dans ce contexte conduit à espérer une approche compositionnelle pour les orchestrations elles-mêmes. Grâce à cette approche, nous proposons de déduire ou de valider de nouvelles compositions d'orchestrations par inférence sur les orchestrations déjà données. | papier en pdf |