Computer Science – Graphics
Scientific paper
2011-02-14
EPTCS 48, 2011, pp. 20-37
Computer Science
Graphics
In Proceedings TERMGRAPH 2011, arXiv:1102.2268
Scientific paper
10.4204/EPTCS.48.5
The context of this paper is the use of formal methods for topology-based geometric modelling. Topology-based geometric modelling deals with objects of various dimensions and shapes. Usually, objects are defined by a graph-based topological data structure and by an embedding that associates each topological element (vertex, edge, face, etc.) with relevant data as their geometric shape (position, curve, surface, etc.) or application dedicated data (e.g. molecule concentration level in a biological context). We propose to define topology-based geometric objects as labelled graphs. The arc labelling defines the topological structure of the object whose topological consistency is then ensured by labelling constraints. Nodes have as many labels as there are different data kinds in the embedding. Labelling constraints ensure then that the embedding is consistent with the topological structure. Thus, topology-based geometric objects constitute a particular subclass of a category of labelled graphs in which nodes have multiple labels.
Arnould Agnès
Bellet Thomas
Gall Pascale Le
No associations
LandOfFree
Rule-based transformations for geometric modelling does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Rule-based transformations for geometric modelling, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule-based transformations for geometric modelling will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-213633