Heritage incremental : modele methode et validation formelle

Incremental inheritane : model, method, and formal validation

• Auteur / Autrice : MOHAMMED BENATTOU
• Direction : Lotfi Lakhal
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1997
• Etablissement(s) : Clermont-Ferrand 2

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.