| 1 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
JERBOA : un modeleur géométrique à base de règles
|
|
|
|
In: Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) ; https://hal.archives-ouvertes.fr/hal-00936743 ; Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France (2012)
|
|
Abstract:
National audience ; Dans le cadre de la modélisation géométrique, chaque domaine d'application nécessite des logiciels spécifiques, appelés modeleurs. Leurs structures de données sont optimisées en fonction des objets manipulés, et leurs opérations de manipula- tion d'objets sont dédiées à l'application. Dans le cadre de la modélisation géomé- trique à base topologique, utilisant les cartes généralisées pour décrire la topologie, les objets géométriques sont représentés par une classe particulière de graphes. La structure topologique (volumes, faces, arêtes, sommets.) des objets est représen- tée par la structure du graphe, tandis que la géométrie ou toute autre information physique (couleur, forme, position.) sont portées par les nœuds du graphe. Nous avons proposé un langage à base de règles de transformations de graphes pour définir formellement les opérations géométriques. Notre noyau de modeleur est entièrement paramétrable par l'utilisateur (di- mension topologique des objets, nature des plongements, opérations géométriques). Il vérifie la préservation de la cohérence topologique et géométrique des objets. Cette vérification s'effectue statiquement, grâce à des conditions syntaxiques sur les règles définissant les opérations. Les objets sont construits interactivement par application des règles.
|
|
Keyword:
[INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; modélisation géométrique à base topologique; prototypage rapide; transformations de graphes
|
|
URL: https://hal.archives-ouvertes.fr/hal-00936743/file/afadl-PLG.pdf
https://hal.archives-ouvertes.fr/hal-00936743
https://hal.archives-ouvertes.fr/hal-00936743/document
|
|
BASE
|
|
Hide details
|
|
|
| 3 |
Transformations de graphes pour les opérations topologiques en modélisation géométrique
|
|
|
|
In: 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009) ; https://hal.archives-ouvertes.fr/hal-00488533 ; 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France (2009)
|
|
BASE
|
|
Show details
|
|
|
|
|
