Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique

Résumé

La conception d'opérations de modélisation géométrique repose sur leur implantation dans un langage de programmation. Même si cette tâche peut être simplifiée en exploitant une description de haut niveau de ces opérations, la difficulté de les implanter contraste avec l'apparente simplicité de la description d'une opération sur un exemple. Nous proposons une méthode d'inférence d'opérations à partir d'un exemple représentatif. Plus précisément, nous nous plaçons dans le domaine de la modélisation géométrique à base topologique qui propose une représentation d'objets nD par décomposition en cellules topologiques (sommets, arêtes, faces, volumes, etc.) sur lesquelles sont ajoutées des informations géométriques. Ce domaine admet une spécification de la topologie par des structures combinatoires qui peuvent être représentées à l'aide de graphes, de sorte qu'une opération se formalise comme une règle de transformation de graphes. Dans cet article, nous complétons notre algorithme d'inférence du calcul topologique avec une approche pour la déduction des expressions de calcul géométrique. Notre approche exploite deux idées principales : des abstractions topologiques des expressions géométriques pour assurer la généricité des calculs retrouvés et une représentation comme un problème de satisfaction de contraintes de l'expression recherchée. Mots-clés : modélisation géométrique à base topologique ; inférence d'opérations ; synthèse de code ; langage dédié ; CSP ; règles de transformations de graphes.
Fichier principal
Vignette du fichier
AFADL2023.pdf (2.32 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04185658 , version 1 (25-08-2023)

Identifiants

  • HAL Id : hal-04185658 , version 1

Citer

Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould. Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique. 22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France. ⟨hal-04185658⟩
37 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More