Aide à la conception d'opérations topologiques par inférence

French event.

Résumé : La représentation sous forme de graphes des cartes généralisées permet d’étudier les opérations de modélisation comme des règles de transformation de graphes. En incorporant des mécanismes de variables typées par la nature des cellules topologiques concernées (volumes, faces, arêtes, …), ces règles se généralisent à n’importe quelle cellule topologique du bon type. Par analyse syntaxique des règles, il est alors possible d’assurer la préservation des contraintes de cohérence du modèle. Ces règles étendues, appelées schémas de règles, sont notamment utilisées dans la plateforme Jerboa pour la conception de modeleurs basés sur le modèle des cartes généralisées. Cependant, la compréhension des schémas de règles suppose des connaissances pointues à fois dans le domaine des transformations de graphes et des cartes généralisées. Dans l’objectif de masquer ces éléments techniques, nous proposons un algorithme pour inférer des schémas de règles à partir de deux instances d’un même objet, avant et après modification, fournies par le concepteur de modeleurs.