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

https://hal.archives-ouvertes.fr/hal-03380327
Contributor : Romain Pascual Connect in order to contact the contributor
Submitted on : Friday, October 15, 2021 - 2:26:59 PM
Last modification on : Thursday, October 21, 2021 - 5:26:23 AM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-04-15

Please log in to resquest access to the document

Identifiers

Citation

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⟩

Share

Metrics

Record views

67