Etude du modele de programmation parallele eiffel// : semantique formelle, preuves et visualisation

par SIDI OULD EHMETY

Thèse de doctorat en Sciences appliquées

Sous la direction de Isabelle Attali.

Soutenue en 1997

à Nice .

    mots clés mots clés


  • Résumé

    Dans cette these, nous etudions et formalisons un modele de programmation a objets parallele, plus precisement eiffel// (une extension du langage eiffel). Les specifications sont decrites dans un style operationnel utilisant la semantique naturelle (big-step) et la semantique operationnelle structurelle (small-step) et sont executables grace au formalisme typol du systeme centaur. Cette etude comprend quatre parties : semantique d'eiffel ; semantique d'eiffel// et generalisation ; preuves de proprietes ; environnement graphique et interactif. Tout d'abord nous donnons une formalisation des principaux concepts de la programmation a objets en general (objet, envoi de message, polymorphisme, heritage et liaison dynamique) et d'eiffel en particulier (renommage et redefinition), puis nous abordons la modelisation et la specification des notions du parallelisme (objet actif, asynchronisme, attente par necessite et continuation automatique) dans le cadre d'eiffel//. Des proprietes de la semantique definie sont ensuite prouvees : l'organisation des objets en sous-ensembles disjoints (sous-systemes) et la sequentialite de l'execution a l'interieur d'un sous-systeme, etc. Ces proprietes ont pour but d'une part, de prouver la correction partielle de la semantique et d'autre part, de servir de base pour la preuve d'equivalence entre programmes sequentiels et paralleles. Enfin, l'environnement graphique et interactif fournit des outils de visualisation permettant la mise au point de programmes eiffel et eiffel//. Il permet la visualisation des objets a l'execution sous differentes formes (textuelle, graphique) et offre a l'utilisateur d'agir sur le non-determinisme de l'entrelacement.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 196 P.
  • Annexes : 123 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.