Préservation de la cohérence des transformations topologiques et géométriques - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Préservation de la cohérence des transformations topologiques et géométriques

Résumé

Dans des travaux antérieurs, nous avons proposé un formalisme basé sur les transformations de graphes pour définir des opérations géométriques à base topologique. Une règle de transformation définit une opération sur une orbite topologique, telle que la triangulation d'une face, ou la translation d'une composante connexe. Elle définit les nouveaux plongements (dont la géométrie) à l'aide d'ex-pressions de plongement. Des conditions syntaxiques garantissent la préservation de la cohérence topologique des objets d'une part et de leurs plongements d'autre part. Cet article présente l'utili-sation conjointe des orbites topologiques et des expressions de plongement. Il étend les conditions syntaxiques pour garantir simultanément la cohérence de la topologie et des plongements.
Fichier principal
Vignette du fichier
main.pdf (624.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01817884 , version 1 (18-06-2018)

Identifiants

  • HAL Id : hal-01817884 , version 1

Citer

Valentin Gauthier, Thomas Bellet, Hakim Belhaouari, Agnès Arnould. Préservation de la cohérence des transformations topologiques et géométriques. 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France. ⟨hal-01817884⟩
81 Consultations
96 Téléchargements

Partager

More