Specification, verification et raffinement de reseaux de processus communicants

par FRANCOIS CARREZ

Thèse de doctorat en Sciences appliquées

Sous la direction de Dominique Méry.

Soutenue en 1991

à Nancy 1 .

    mots clés mots clés


  • Résumé

    Deux specifications sont donnees pour un meme processus. La premiere est appelee specification operationnelle et definit les comportements d'un processus comme etant un ensemble de suites infinies d'actions. La seconde est appelee specification observationnelle et caracterise ces comportements en etablissant des relations temporelles sur les histoires des canaux. Verifier le processus consiste donc a valider la specification operationnelle par rapport a la specification observationnelle. La communication est multimedia et les reseaux de processus sont construits en liant les canaux de communication. Le raffinement d'un processus en un reseau de processus consiste finalement a montrer a l'aide d'un systeme de preuve que les comportements observationnels du reseau, apres avoir cache les canaux internes, valident la specification observationnelle du processus initial


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 77 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-CAR
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.