Transformations de graphes pour les opérations topologiques en modélisation géométrique

Résumé

Cet article propose une approche formelle de la modélisation géométrique à base topologique. Nous proposons un langage graphique qui permet de définir les opérations topologiques des cartes généralisées par des règles. Notre langage est fondé sur la théorie des transformations de graphes. Nous enrichissons les règles classiques par des variables qui abstraient les cellules topologiques (arêtes, faces, volumes, etc.). Nous proposons également des critères syntaxiques qui garantissent la préservation des contraintes de cohérence des cartes généralisées. Enfin, nous présentons succinctement le prototype de modeleur que nous avons développé afin de valider notre approche.