Academic Journal
Preserving consistency in geometric modeling with graph transformations
| العنوان: | Preserving consistency in geometric modeling with graph transformations |
|---|---|
| المؤلفون: | Arnould, Agnès, Belhaouari, Hakim, Bellet, Thomas, Le Gall, Pascale, Pascual, Romain |
| المساهمون: | Université de Poitiers - Faculté de Sciences fondamentales et appliquées, Université de Poitiers = University of Poitiers (UP), 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), Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay |
| المصدر: | ISSN: 0960-1295. |
| بيانات النشر: | HAL CCSD Cambridge University Press (CUP) |
| سنة النشر: | 2022 |
| المجموعة: | Université de Poitiers: Publications de nos chercheurs.ses (HAL) |
| مصطلحات موضوعية: | DPO graph transformation, Topology-based geometric modeling, Graph transformation with variables, Generalized maps, Consistency preservation, Static analysis, [INFO]Computer Science [cs] |
| الوصف: | International audience ; 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. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| Relation: | hal-03821122; https://hal.science/hal-03821122; https://hal.science/hal-03821122/document; https://hal.science/hal-03821122/file/2022Geometry.pdf |
| DOI: | 10.1017/S0960129522000226 |
| الاتاحة: | https://hal.science/hal-03821122 https://hal.science/hal-03821122/document https://hal.science/hal-03821122/file/2022Geometry.pdf https://doi.org/10.1017/S0960129522000226 |
| Rights: | info:eu-repo/semantics/OpenAccess |
| رقم الانضمام: | edsbas.6D6B5205 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1017/S0960129522000226 |
|---|