Designing a Topological Modeler Kernel: A Rule-Based Approach

Thomas Bellet 1, * Mathieu Poudret 1 Agnès Arnould 1 Laurent Fuchs 1 Pascale Le Gall 2
* Auteur correspondant
XLIM - XLIM, Université de Poitiers
Abstract : 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. 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.
Type de document :
Communication dans un congrès
Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France. 2010
Liste complète des métadonnées
Contributeur : Agnès Arnould <>
Soumis le : mardi 1 juin 2010 - 13:30:44
Dernière modification le : mardi 18 décembre 2018 - 15:32:07


  • HAL Id : hal-00488171, version 1



Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall. Designing a Topological Modeler Kernel: A Rule-Based Approach. Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France. 2010. 〈hal-00488171〉



Consultations de la notice