[image: Accueil UBS]

Action : Évolution du logiciel

[image: Valoria]

french english

SE est une action du laboratoire Valoria.

Membres

Salah Sadou, Maître de conférences HDR (responsable de l'action), email
Régis Fleurquin, Maître de conférences, email
François Merciol, Maître de conférences, email
Reda Kadri, Maître de conférences associé. email
Vincent Le-Gloahec, Doctorant (depuis octobre 2007). email
Kahina Hassam, Doctorant (depuis octobre 2007). email

Anciens Membres

Chouki Tibermacine, Maître de conférences. email
Bart George, Maître de conférences. email

    Une caractéristique intrinsèque d'un logiciel, représentant une activité du monde réel, est la nécessité d'évoluer pour satisfaire de nouvelles exigences. La première loi de Lehman, issue de constatations sur le terrain, stipule ainsi qu'un logiciel doit nécessairement évoluer sinon il devient progressivement inutile. Les activités de maintenance représentent donc sans surprise une part très importante du chiffre d'affaire des sociétés développant des logiciels (de 50% à 80% selon les études). Il est donc nécessaire de proposer des méthodes, des techniques et des outils facilitant ces activités tout en diminuant leurs coûts. Cette action de recherche se propose de répondre à ce besoin dans le domaine des logiciels à base d’objets et de composants.

    Des travaux ont ainsi été conduits pour diminuer le couplage entre des objets clients et des objets serveurs à travers le concept de Groupe de Services augmentant de ce fait la maintenabilité côté serveurs (projet Service Group). D’autres travaux ont également permis de proposer un outillage et une démarche permettant l’évolution d’un objet serveur pendant son exécution en utilisant un mécanisme d’héritage d’instance (projet Adapter). Actuellement, nous travaillons sur la proposition d’un cadre formel garantissant au fil des évolutions d’un composant la permanence de caractéristiques non fonctionnelles en particulier qualité (projet Cell). Cette étude pouvant à terme offrir un moyen de définir et de vérifier un typage fort dans le monde des composants allant au delà des aspects syntaxiques (comme dans les langages typés tel que JAVA) et fonctionnels (comme dans le langage EIFFEL avec les pré, post-conditions et invariants) car prenant en compte des aspects non fonctionnels.

Projets réalisés

  • Adapter : Adaptation dynamique d'objets distribués,   

Projets en cours

  • CELL : Contractualisation de l'Evolution du LogicieL,

  • AURES : Assistance à l'évolution du logiciel,

  • Substitute : Sélection et substitution des composants logiciels,

Copyright © 1997-2006 Valoria/Université de Bretagne Sud Dernière mise à jour le 10/01/2006 16:20:32