Héritage multiple

  Participants: Michel Habib (LIRMM), Roland Ducournau (LIRMM), Marianne Huchard (LIRMM), Marie-Laure Mugnier (LIRMM), Amédéo Napoli (CRIN-CNRS).

Thèmes et objectifs: Le thème de ces recherche, entreprises depuis 1987 par M. Habib (LIRMM) et R. Ducournau (Sema Group, puis LIRMM), est la compréhension et la modélisation formelle de l'héritage multiple et des algorithmes qui permettent de l'utiliser.

Etat d'avancement: Les travaux réalisés font l'objet d'un article de synthèse parut dans TSI [DHH95]. Les résultats présentés sont:

• une nouvelle modélisation de l'héritage, avec la distinction entre héritage de nom et héritage de valeur [DHH95] qui permet de distinguer les conflits syntaxiques de nom des conflits ``sémantiques'' de valeur.
• la construction d'une linéarisation monotone [DHH+94], dont la propriété de monotonie, annoncée dans nos travaux précédents (OOPSLA'92), assure que la linéarisation d'une sous-classe ``contient'' la linéarisation de ses super-classes, ce qui est particulièrement utile pour la combinaison des méthodes. Cette nouvelle linéarisation étend les linéarisations précédemment étudiées de LOOPS et de CLOS dans la mesure où elle leur est identique quand ces deux linéarisations le sont.

Les techniques développées ne sont pas sans applications: les bonnes propriétés de cette nouvelle linéarisation en font un bon candidat pour remplacer celle de CLOS et l'une des perspectives de notre travail consiste à étudier des applications de CLOS existantes, pour voir l'impact qu'aurait l'adoption par ce langage de cette nouvelle linéarisation. Nous sommes actuellement en contact avec Chris Riesbeck (NorthWestern University, Chicago) sur ce point. De plus, la technique d'héritage cumulatif non-monotone décrite dans [DHH95] est effectivement utilisée dans le projet RESYN (cf. section 3.1).