Skip to Main content Skip to Navigation
Journal articles

Topological consistency preservation with graph transformation schemes

Abstract : 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.
Document type :
Journal articles
Complete list of metadata
Contributor : Romain Pascual Connect in order to contact the contributor
Submitted on : Friday, October 15, 2021 - 2:26:59 PM
Last modification on : Sunday, June 26, 2022 - 3:16:03 AM
Long-term archiving on: : Sunday, January 16, 2022 - 8:16:12 PM


Files produced by the author(s)



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



Record views


Files downloads