Préservation de la cohérence des transformations topologiques et géométriques
| Autor: | Gauthier, Valentin, Bellet, Thomas, Belhaouari, Hakim, Arnould, Agnès |
|---|---|
| Přispěvatelé: | Synthèse et analyse d'images (XLIM-ASALI), XLIM (XLIM), Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS)-Université de Limoges (UNILIM)-Centre National de la Recherche Scientifique (CNRS), Université de Poitiers, Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec |
| Jazyk: | francouzština |
| Rok vydání: | 2016 |
| Předmět: |
conditions syntaxiques
préservation de la cohérence ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages modélisation géométrique à base topologique ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification transformation de graphes ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] |
| Zdroj: | 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|