Jerboa: un modeleur géométrique à base de règles de transformations de graphes

Abstract

National audienceLa topologie à montré son efficacité pour structurer les objets et leurs opérations de manipulation. En particu-lier, elle permet de définir des conditions de cohérence des objets et la préservation de ces conditions par lesopérations. Cependant le développement de modeleurs à base topologique reste long et fastidieux.Jerboa est une suite logicielle qui permet d’automatiser le développement de noyaux de modeleurs à base decartes généralisées. Elle est basée sur les transformations de graphes adaptées aux cartes généralisées, génériqueen dimension et en plongements géométriques et applicatifs. Elle contient un éditeur qui permet de définir chaqueopération comme une règle et vérifie au fil de l’édition la préservation des conditions de cohérence. Les opérationssont alors prêtes à être exécutées, grâce au noyau de Jerboa qui contient une unique fonction d’application desrègles. Enfin Jerboa, contient une interface de visualisation qui facilite la mise au point de nouveaux modeleurs