Une approche catégorique unifiée pour la réécriture de graphes attribués

par Maxime Rebout

Thèse de doctorat en Informatique

Sous la direction de Sergei Soloviev et de Louis Féraud.

Soutenue en 2008

à Toulouse 3 .

  • Titre traduit

    ˜A œunified categorical approach for attributed graph rewriting


  • Pas de résumé disponible.


  • Résumé

    En génie logiciel, les méthodes modernes de développement (ex. Le MDA) s'appuient de manière cruciale sur les notions de modélisation et de transformation. Ces méthodes peuvent s'interpréter à l'aide de la théorie des graphes. La difficulté théorique réside aujourd'hui dans l'ajout sur ces graphes de données supplémentaires sur lesquelles il est nécessaire de pouvoir effectuer des calculs. Notre travail s'est focalisé sur le développement d'un cadre mathématique sûr afin d'appliquer ces transformations. Les théories des catégories (à travers le double pushout) et des types inductifs (fonctions de calcul très expressives) nous ont permis de donner une solution unifiée à ce problème dans laquelle une seule opération permet de travailler sur la structure et de calculer avec les attributs en définissant des fonctions entre graphes possédant une partie contravariante pour le travail des attributs. De plus, les propriétés usuelles des systèmes de réécriture sont vérifiées.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (132 p.)
  • Annexes : Bibliogr. p. 129-132

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 2008TOU30111
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.