Abstract FR:

Cette these comprend deux parties: l'une traitant d'algorithmes incrementaux d'heritage multiple, l'autre consistant en un travail de formalisation sur le modele des graphes conceptuels de j. Sowa. Dans le cadre des strategies automatiques d'heritage multiple et, plus precisement des strategies lineaires ou linearisations, nous etudions des proprietes assurant que le mecanisme d'heritage est comprehensible localement (propriete de monotonie) et supporte des modifications locales (proprietes de stabilite). Nous analysons les mecanismes des systemes existants (comme clos, loops, y3) du point de vue de ces proprietes. L'analyse debouche sur le developpement d'outils algorithmiques. Nous proposons, en particulier, un nouvel algorithme d'heritage verifiant la propriete de monotonie. Dans le cadre des graphes conceptuels, nous definissons precisement le modele de base, etudions les operations associees, notamment du point de vue de leur correspondance avec des operations logiques et de leur complexite algorithmique, et construisons des algorithmes polynomiaux