Autograph : un outil de visualisation pour les calculs de processus

par VALERIE ROY

Thèse de doctorat en Sciences appliquées

Sous la direction de PAUL FRANCHI.

Soutenue en 1990

à Nice .

    mots clés mots clés


  • Résumé

    On presente un formalisme de representation graphique pour les systemes paralleles et communiquants, par signaux de synchronisation. Ces descriptions sont ensuite reliees au formalisme algebrique des calculs de processus, qui procure un cadre formel pour en etudier la semantique et en verifier les proprietes. On decrit l'outil de visualisation autograph, base sur ces concepts. Autograph contient un editeur graphique multi-fenetre, un interprete/traducteur des dessins vers leurs formes algebriques textuelles, ainsi que des fonctionnalites de retour vers les descriptions graphiques. La phase d'interpretation contient trois types d'analyse sur les dessins: etude de leur coherence; expansion de conventions graphiques; completion de leurs elements facultatifs. Ces phases ulterieures permettent de garantir a l'utilisateur des conditions d'edition souples et economiques au niveau graphique, en conservant la precision des significations. Autograph est interface avec plusieurs systemes de verification, et principalement avec auto, qui s'adapte aux principes de visualisation d'autograph. Des exemples typiques d'utilisation d'autograph dans des sessions de developpement et de verification sont presentes et commentes. Ces exemples incluent des experiences de traitement de programmes esterel, pour lesquels autograph permet une analyse des automates apres compilation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 37 REF

Où se trouve cette thèse ?

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