Aix en Provence, France
June 21, 2010 to June 23, 2010
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SMI.2010.31
In this article, we present a rule-based language dedicated to topological operations and based on graph transformations. Generalized maps are described as a particular class of graphs determined by consistency constraints. Hence, topological operations over generalized maps can be specified using graph transformations. The rules we define are provided with syntactic criteria which ensure that graphs computed by applying rules on generalized maps are also generalized maps. We have developed a static analyzer of transformation rules which checks the syntactic criteria in order to ensure the preservation of generalized map consistency constraints. Based on this static analyzer, we have designed a rule-based prototype of a kernel of a topology-based modeler that is generic in dimension. Since adding a new topological operation can be reduced to write a graph transformation rule, we directly obtain an extensible prototype where handled topological objects satisfy built-in consistency. Moreover, first benchmarks show that our prototype is reasonably efficient compared to a reference implementation of 3D generalized maps which use a classical implementation style.
topology-based geometric modeling, graph transformation, topological consistency, rapid prototyping
Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall, "Designing a Topological Modeler Kernel: A Rule-Based Approach", SMI, 2010, Shape Modeling and Applications, International Conference on, Shape Modeling and Applications, International Conference on 2010, pp. 100-112, doi:10.1109/SMI.2010.31