Integration de l'approche orientee-objets dans un contexte de multi-formalismes pour la modelisation et la specification d'applications distribuees

par YIPING YANG

Thèse de doctorat en Sciences appliquées

Sous la direction de G. PUJOLLE.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    L'objectif de la these est de proposer une solution coherente repondant au besoin d'une utilisation conjointe de l'approche orientee-objets et des methodes formelles pour le developpement des applications des systemes distribues qui sont de plus en plus complexes actuellement. Nous avons developpe une methode de modelisation et specification basee sur un contexte des multi-formalismes integres, et sur une introduction des concepts orientes-objets dans ce contexte. Le concept des multi-formalismes apporte une puissance de modelisation completee par differents formalismes, tandis que l'introduction des concepts orientes-objets est concue dans le but de faciliter l'utilisation de ces formalismes et d'ameliorer la coherence de cette utilisation. Un processus de developpement hierarchique descendant est adopte dans cette methode. En partant du contexte proofs, dont nous utilisons les reseaux canaux/agences, les reseaux de petri, le modele de donnees niam, et le langage exspect, notre methode se focalise sur deux points principaux: l'introduction des concepts orientes-objets dans les modeles semi-formels de haut niveau et la transformation de ces modeles a objets en modeles de bas niveau. L'approche proposee de transformation repose principalement sur une architecture 'clients/serveurs du systeme oriente-objets. Dans le but de valider notre methode, nous l'avons appliquee aux modelisation, specification et simulation d'une application distribuee de bureautique communicante: teleconference de document


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 189 P.
  • Annexes : 104 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 1994 714
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1994
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.