Conception d'applications reparties par raffinements de specifications

par THIERRY CATTEL

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy-René Perrin.

Soutenue en 1992

à Besançon .

    mots clés mots clés


  • Résumé

    Cette these a pour but de proposer une approche de conception d'applications reparties qui font partie de la classe des applications informatiques d'organisation, s'opposant a celle des applications numeriques, et a celle des applications temps-reel; elles sont caracterisees par la faible importance des traitements a effectuer sur une grande quantite de donnees complexes. Ces applications s'executent dans un environnement reparti, (reseau de machines independantes); elles comportent un parallelisme faible, la rapidite de reponse etant secondaire. L'elaboration de logiciels etant en soi une activite difficile, celle de logiciels repartis l'est a fortiori. Il doit donc etre guide par une approche rigoureuse et systematique, procedant par etapes d'abstraction successives. Nous proposons une methode dont le but premier est de degager l'architecture generale de l'application. Cette methode consiste a specifier le probleme a l'aide de vdm-sl, a conduire sur cette specification, au moyen vdm, une serie de transformations, guidees par des strategies d'application, visant a la rendre plus appropriee (decomposee) a sa repartition ulterieure. La specification est ensuite decomposee en ses entites elementaires (donnees, operations), puis soumise a une etape de configuration logique. Une phase de codage genere automatiquement l'architecture de l'application dans le langage executable conic. Un outil developpe dans l'environnement centaur sert de support a toutes les etapes de la demarche


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 90 REF

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque universitaire Sciences - Sport (Besançon).
  • Disponible pour le PEB
  • Cote : SCI.BESA.1992.28
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : CATTEL c
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.