|
|
SE est une action du laboratoire Valoria.
Membres
Salah Sadou,
Maître de conférences HDR (responsable de l'action),

Régis Fleurquin,
Maître de conférences,

François Merciol,
Maître de conférences,

Reda Kadri,
Maître de conférences associé.

Vincent Le-Gloahec,
Doctorant (depuis octobre 2007).

Kahina Hassam,
Doctorant (depuis octobre 2007).

Anciens Membres
Chouki Tibermacine,
Maître de conférences.

Bart George,
Maître de conférences.

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
- Service
Group :
Paradigme de programmation pour objets
distribué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,
|