Topological consistency preservation with graph transformation schemes - Archive ouverte HAL
Article Dans Une Revue Science of Computer Programming Année : 2022

Topological consistency preservation with graph transformation schemes

Résumé

Topology-based geometric modeling tackles the issue of representing objects with data structures that encode the topological subdivision of modeled objects in vertices, edges, faces, and volumes. Such subdivisions can be represented with graphs labeled by dimensions on arcs, while modeling operations used to edit the objects can be formalized as graph transformations. Among the existing topological models, we consider generalized and oriented maps, defined as constrained labeled graphs, to ensure the well-formedness of the represented objects. Since a modeling operation should provide a correct object when applied to a correct object, graph transformations are provided with conditions to ensure the model consistency. Our approach exploits the firmly established framework of DPO graph transformations to implement modeling operations. We enrich standard DPO graph transformations with a product construction to ease the operation design, enabling generic modeling operations as rule schemes. We lift conditions from DPO rules to this enriched framework, ensuring the preservation of the topological consistency via static analysis of syntactic conditions on rule schemes.
Fichier principal
Vignette du fichier
Topological_Consistency_Preservation_with_Graph_Transformation_Schemes.pdf (5.03 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03380327 , version 1 (15-10-2021)

Identifiants

Citer

Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari. Topological consistency preservation with graph transformation schemes. Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩. ⟨hal-03380327⟩
194 Consultations
133 Téléchargements

Altmetric

Partager

More