Designing a Topological Modeler Kernel: A Rule-Based Approach

13 years 2 months ago
Designing a Topological Modeler Kernel: A Rule-Based Approach
In this article, we present a rule-based language dedicated to topological operations, 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 equipped with syntactic criteria ensuring that graphs obtained by applying the rules to generalized maps are also generalized maps. We have developed a static analyzer of transformation rules that checks the syntactic criteria to ensure the preservation of generalized map consistency constraints. Based on this static analyzer, we have designed a rulebased 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 have built-in consistency. Moreover, first benchmarks show that our prototyp...
Thomas Bellet, Mathieu Poudret, Agnès Arnou
Added 15 Feb 2011
Updated 15 Feb 2011
Type Journal
Year 2010
Where SMI
Authors Thomas Bellet, Mathieu Poudret, Agnès Arnould, Laurent Fuchs, Pascale Le Gall
Comments (0)