Heritage incremental : modele methode et validation formelle

par MOHAMMED BENATTOU

Thèse de doctorat en Sciences appliquées

Sous la direction de Lotfi Lakhal.

Soutenue en 1997

à Clermont-Ferrand 2 .

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.

Titre traduit

Incremental inheritane : model, method, and formal validation

Pas de résumé disponible.