Titre original :

Surveillance du flux des données dans l'animation des algorithmes

  • Langue : Français
  • Discipline : Productique. Automatique et informatique industrielle
  • Identifiant : Inconnu
  • Type de thèse : Doctorat
  • Date de soutenance : 01/01/1999

Résumé en langue originale

De nombreux auteurs considèrent qu'il existe une contradiction profonde entre la conception d'animations d'algorithmes à haut niveau d'abstraction d'une part, et l'automatisation de ce même travail de conception d'autre part. L'approche que nous développons dans cette thèse est qu'il possible de concilier ces deux aspects. Nous montrons ainsi que certains éléments améliorant de façon significative le niveau d'abstraction d'un programme peuvent aussi servir à la visualisation de ce programme, et cela de façon strictement automatique, sans effort supplémentaire de la part du visualisateur. Pour ce faire, nous proposons une méthode originale d'animation reposant sur un contrôle du flux de données. L'idée directrice de cette méthode consiste dans l'acquisition d'informations utiles (à la visualisation) par une observation des opérations élémentaires effectuées sur le flux de données, et non par une analyse des valeurs des structures de données telle qu'elle est pratiquée dans les méthodes traditionnelles. Dans une version plus avancée de notre méthode, le formalisme des réseaux de Pétri est utilisé pour analyser dynamiquement le flux de données, autorisant ainsi la suppression systématique des données non pertinentes. Cette méthode de contrôle du flux de données a été implantée dans un système d'animation d'algorithmes baptise Daphnis, prolongement pratique des travaux de recherche menés à l'école polytechnique silésienne de Gliwice (Pologne) et au laboratoire I3D de l'USTL. Les visualisations obtenues à partir de ce système atteignent un assez haut niveau d'abstraction comparativement à celles déjà existantes, tout en ne mobilisant qu'un effort de conception raisonnable de la part de l'utilisateur.

  • Directeur(s) de thèse : Toulotte, Jean-Marc

AUTEUR

  • Francik, Jaroslaw