Héritage :

Définition IV :

Attributs Dérivés
Les attributs, qui ne seront pas définis, seront considérés comme ayant leur valeur qui dérive d'un ou d'autres objets. Ces objets seront appelés "parents".

Le premier attribut défini chez un parent sera pris comme valeur de l'attribut non défini dans l'objet fils, ce qui permet de modéliser le mécanisme d'héritage.

On peut définir plusieurs parents selon un ordre séquentiel : on permet ainsi un héritage multiple mais séquentiel où un objet hérite en fait d'un parent puis d'un autre, puis d'autre etc...

La liste des parents est stockée dans une facette appelée : Parents.

La fermeture transitive des parents peut être évaluée. Par conséquent, et contrairement à l'implémentation orienté-objet traditionnelle, on a une vue complète de l'héritage et on est à même de pouvoir extraire des objets de la hiérarchie inhérente à l'héritage.

Grâce à ce mécanisme d'attributs dérivés, on est capable de modéliser les différentes propriétés des langages orientés-objet typés comme :

• le polymorphisme.
• la généricité : puisque les straight-line functions sont des mso standard et peuvent admettre des facettes formelles additionnelles.
• l'abstraction : les attributs dérivés peuvent être utilisés pour manipuler des informations que l'on cherche à cacher comme par exemple, les options d'affichage, les caractéristiques de configuration.

Voici résumé sur le schéma ci-dessus l'imbrication des différents niveaux exposés dans ce chapitre:

  

Figure 3.1: Stratification au niveau Spécification du système ReViMoGe