Heritage incremental : modele methode et validation formelle

par MOHAMMED BENATTOU

Thèse de doctorat en Sciences appliquées

Sous la direction de IOTFI LAKHAL.

Soutenue en 1997

à Clermont Ferrand 2 .

    mots clés mots clés


  • Résumé

    La semantique de l'heritage est basee sur la relation de sous-type. Plusieurs auteurs ont montre que la relation de sous-type est insuffisante pour expliquer le mecanisme de l'heritage utilise dans l'approche orientee objets. L'heritage est un mecanisme incremental de construction de programmes. Cette approche a ete introduite par w. R. Cook pour modeliser l'heritage simple. L'objectif de cet article est de proposer un modele formalisant le mecanisme incremental d'heritage simple et multiple. Ce modele, base sur une explication intuitive de l'utilisation propre de l'heritage, est essentiellement dedie a l'heritage dynamique des proprietes, pour les sgbdoo. La methode denotationnelle utilisant le mecanisme incremental d'heritage permet une evaluation dynamique de message. Enfin, nous proposons une validation formelle montrant que, lorsqu'on utilise le systeme de typage de o2, la contrainte induite par l'heritage (contrainte de cook) est respectee.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 159 P.
  • Annexes : 107 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Clermont Université (Aubière). Section Sciences et Techniques.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.