Preserving consistency in geometric modeling with graph transformations - Archive ouverte HAL
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2022

Preserving consistency in geometric modeling with graph transformations

Résumé

Labeled graphs are particularly well adapted to represent objects in the context of topology-based geometric modeling. Thus, graph transformation theory is used to implement modeling operations and check their consistency. This article defines a class of graph transformation rules dedicated to embedding computations. Objects are here defined as a particular subclass of labeled graphs in which arc labels encode their topological structure (i.e." cell subdivision: vertex, edge, face, etc.) and node labels encode their embedding (i.e." relevant data: vertex positions, face colors, volume density, etc.). Object consistency is defined by labeling constraints which must be preserved by modeling operations that modify topology and/or embedding. Dedicated graph transformation variables allow us to access the existing embedding from the underlying topological structure (e.g., collecting all the points of a face) in order to compute the new embedding using user-provided functions (e.g., compute the barycenter of several points). To ensure the safety of the defined operations, we provide syntactic conditions on rules that preserve the object consistency constraints.
Fichier principal
Vignette du fichier
2022Geometry.pdf (4.78 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03821122 , version 1 (19-10-2022)

Identifiants

Citer

Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual. Preserving consistency in geometric modeling with graph transformations. Mathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩. ⟨hal-03821122⟩
65 Consultations
81 Téléchargements

Altmetric

Partager

More