, nous avons présenté l'extension des conditions de préservation de la cohérence des plongements en cas de règles qui combinent variables topologiques et variables de plongement
, Cette extension permettra la définition plus sûre et plus rapide d'opérations géométriques qui modifient simultanément la topologie et les plongements des objets
, Cependant, les expressions de plongement sont programmées directement dans le langage de programmation sous-jacent (Java ou C++), et seules la préservation de la cohérence topologique est vérifiée. Plus précisément, actuellement Jerboa ne vérifient pas les conditions syntaxiques de préservation des plongements présentés en section 5. Dans ce cas la règle instanciée porte différentes valeurs de plongement pour une même orbite de plongement. Lors de l'application, Jerboa calcule aléatoirement l'une de ces valeurs pour mettre à jour le plongement partagé de l'objet transformé. L'objet construit est donc cohérent, mais il ne correspond généralement pas au résultat attendu de l'opération. La future version de Jerboa disposera d'un véritable langage d'expressions qui simplifiera l'écriture des règles et de leurs plongements
, Jerboa: A Graph Transformation Library for Topology-Based Geometric Modeling, 7th International Conference on Graph Transformation, 2014.
DOI : 10.1007/978-3-319-09108-2_18
URL : https://hal.archives-ouvertes.fr/hal-01012851
, Transformations de graphes pour la modélisation géométrique à base topologique Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science, An EATCS Series, 2006.
, Graph Transformation with Variables, Lie94] P. Lienhardt. N-dimensional generalised combinatorial maps and cellular quasimanifolds. International Journal of Computational Geometry and Applications, pp.101-115, 1994.
DOI : 10.1007/978-3-540-31847-7_6
, Graphs transformations for the topological operations of the geometric modeling -Application to the study of the Golgi apparatus dynamics, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00503818