Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01817884
Contributor : Agnès Arnould Connect in order to contact the contributor
Submitted on : Monday, June 18, 2018 - 2:42:36 PM
Last modification on : Wednesday, December 22, 2021 - 11:58:08 AM
Long-term archiving on: : Wednesday, September 19, 2018 - 6:12:11 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01817884, version 1

Citation

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⟩

Share

Metrics

Record views

53

Files downloads

47