, On détermine si l'entité feuille de l'arbre d'appariement est égale à l'une des entités référencées par un des brins feuilles de l'arbre virtuel associé au type d'orbite formant sa racine (c'est-à-dire

, Sinon, il n'y a pas à faire de mise à jour, et on ne suit pas les étapes suivantes

, On vériie si l'opération ajoutée a déjà induit une mise à jour de l'arbre d'appariement pour le type d'orbite indiqué par sa racine

S. Tel-est-le-cas, on ne met pas à jour l'arbre d'appariement, car cela reviendrait à prendre en compte deux fois l'opération pour le même type d'orbite

. Enin, si les deux pré-conditions sont réunies, on réalise la mise à jour de l'arbre d'appariement

.. .. Travail,

.. .. ,

C. and .. .. ,

.. .. Perspectives, 6.2.2 Rejeu pour la modélisation historique et archéologique, p.135

.. .. Synthèse,

, Une modélisation paramétrique, de part son utilisation pour réaliser un rejeu, néces-site l'utilisation d'un système de nommage à la fois non ambigu, ain de permettre de discriminer les entités, mais également contenant suisamment d'informations pour permettre d'apparier ces dernières. En efet, le rejeu d'une spéciication paramétrique peut entraîner diverses modiications (scission, fusion, suppression

R. Anderl and . Mendgen, Parametric design and its impact on solid modeling applications, SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications, pp.1-12, 1995.

D. Agbodan, D. Marcheix, and G. Pierra, A data model architecture for parametrics, Journal for Geometry and Graphics, vol.3, issue.1, pp.17-38, 1999.

A. Mehdi-baba, Système de nomination hiérarchique pour les systèmes paramétriques, 2010.

R. Baecker, Picture-driven animation, Proceeding AFIPS '69 (Spring) Proceedings of the May 14-16, pp.273-288, 1969.

H. Belhaouari, A. Arnould, P. L. Gall, and T. Bellet, Jerboa : A graph transformation library for topology-based geometric modeling, International Conference on Graph Transformation, pp.269-284, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01012851

M. Baba-ali, D. Marcheix, and X. Skapin, An edge matching technique for non-planar face intersections in geometric parametric models, IEEE International Conference on Shape, pp.201-208, 2009.

B. Baugmart, A polyhedron representation for computer vision, AFIPS '75 Proceedings of national computer conference and exposition, pp.589-596, 1975.

T. Bellet, Transformation de graphes pour la modélisation géomé-trique à base topologique, 2012.

I. Benest, A review of computer graphics publications, Computers and Graphics, vol.4, issue.2, pp.95-136, 1979.

R. Bidarra, A feature-based solution to the persistent naming problem, Computer-Aided Design and Applications, vol.2, issue.1-4, pp.517-526, 2005.

, Fondation Blender. Blender

W. Boehm, An aine representation of de casteljau's and de boor's rational algorithms, Computer Aided Geometric Design, vol.10, issue.3-4, pp.175-180, 1993.

I. Braid, The synthesis of solids bounded by many faces, Communications of the ACM, vol.18, 1975.

B. Bettig and J. Shah, Derivation of a standard set of geometric constraints for parametric modeling and data exchange, Computer Aided Design, vol.33, issue.1, pp.17-33, 2001.

F. Ben-salah, H. Belhaouari, A. Arnould, and P. Meseure, A general physical-topological framework using rule-based language for physical simulation, 12th International Conference on Computer Graphics Theory and Applications, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01482733

M. Buthion, Un programme qui résout formellement des problèmes de constructions géométriques, RAIRO Informatique, vol.13, issue.1, pp.73-106, 1979.

P. Bézier, Courbes et Surfaces. HERMES, 1986.

O. Carton, Langages formels, calculabilité et complexité, cours de l'ens, 2007.

V. Capoyleas, X. Chen, and C. Hofmann, Generic naming in generative, constraint-based design, Computer-Aided Design, vol.28, issue.1, pp.17-26, 1996.

P. Cignoni, L. D. Floriani, C. Montani, E. Puppo, and R. Scopigno, Multiresolution modeling and visualization of volume data based on simplicial complexes, Proceeding VVS '94 Proceedings of the 1994 symposium on Volume visualization, pp.19-26, 1994.

X. Chen and C. Hofmann, Towards feature attachment, Computer-Aided Design, vol.27, issue.9, pp.695-702, 1994.

X. Chen, Representation, Evaluation and Editing of Feature-Based and Constraint-Based design, 1995.

N. Chomsky, Three models for the description of language, IRE Transactions on Information Theory, vol.2, issue.3, pp.113-124, 1956.

D. Sang-uk-cheon, S. Mun, B. Han, and . Kim, Name matching method using topology merging and splitting history for exchange of feature-based cad models, Journal of Mechanical Science and Technology, vol.26, issue.10, pp.3201-3212, 2012.

A. Cardot, D. Marcheix, and X. Skapin, Persistent naming based on graph transformation rules to reevaluate parametric speciication, Proceedings of CAD'18, pp.387-391, 2018.

. Maxon-computer and . Cinema4d,

, Parametric Technology Corporation

B. Carl-de, A Practical Guide to Spline, vol.27, 1978.

C. P-de, Formes et Poles. HERMES, 1985.

F. Dufourd, P. Mathis, and P. Schreck, Geometric construction by assembling solved subigures, Artiicial Intelligence, vol.99, issue.1, pp.73-119, 1998.

H. Ehrig, K. Ehrig, and U. Prange, Fundamentals of Algebraic Graph Transformation, 2006.

H. Elter and P. Lienhardt, Diferent combinatorial models based on the map concept for the representation of subsets of cellular complexes. Modeling in Computer Graphics, pp.193-212, 1993.

D. Ferguson, The construction of curves and surfaces using numerical optimization techniques, Computer-Aided Design, vol.18, issue.1, pp.15-21, 1986.

S. Shahjadi-hisan-farjana, D. Han, and . Mun, Implementation of persistent identiication of topological entities based on macroparametrics approach, Journal of Computational Design and Engineering, vol.3, issue.2, pp.161-177, 2016.

D. Shahjadi-hisan-farjana, S. Mun, and . Han, A method for persistent identiication of topological entities in a parametric cad model, Proceedings of the 6th International Conference on manufacturing, Machine Design and Tribology, 2015.

S. Foufou, D. Michelucci, and J. Jurzak, Numerical decomposition of geometric constraints, Proceedings of the 2005 ACM symposium on Solid and physical modeling, pp.143-151, 2005.

H. Fitter, A. Pandey, P. Divyand, and J. Mistry, A review on approaches for handling bezier curves in cad for manufacturing, Procedia Engineering, vol.97, pp.1155-1166, 2014.

B. Fitch, P. Parslow, and K. Lundqvist, Evolving complete l-systems : Using genetic algorithms for the generation of realistic plants, Artiicial Life and Intelligent Agents Symposium, pp.16-23, 2016.

V. Gauthier, A. Arnould, H. Belhaouari, S. Horna, M. Perrin et al., A topological approach for automated unstructured meshing of complex reservoir, 15th edition of the European Conference on the Mathematics of Oil Recovery, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01789860

J. Gallier, Curves and Surfaces In Geometric Modeling : Theory And Algorithms, 1999.

V. Gauthier, Reconstruction multi-échelle de géomodèles 3D à base de règles, 2018.

W. Gordon and R. Riesenfeld, Bernstein-bezier methods for the computer-aided design of free-form curves and surfaces, In Journal of the ACM, vol.21, pp.293-310, 1974.

C. Grasset-simon, G. Damiand, and P. Lienhardt, nd generalized map pyramids : deinition, representations and basic operations, Pattern Recognition, vol.39, issue.4, pp.527-538, 2006.

C. Hofman and J. Kimb, Towards valid parametric cad models. Computer Aided Design, vol.33, pp.81-90, 2001.

S. Horna, D. Meneveaux, G. Damiand, and Y. Bertrand, Consistency constraints and 3d building reconstruction, Computer-Aided Design, vol.41, issue.1, pp.13-27, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00440844

S. Haegler, P. Muller, and L. Van-gool, Journal on Image and Video Processing -Special issue on image and video processing for cultural heritage, 2009.

, Side Efects Software Inc. Houdini

E. Jacks, A laboratory for the study of graphical man-machine communication, Proceedings of the October 27-29, pp.343-350, 1964.

J. Kripac, A mechanism for persistently naming topological entities in history based parametric solid models, Proceedings of the 3rd ACM symposium on Solid Modeling and Applications, pp.21-30, 1995.

P. Koford, . Strickland, E. Sporzynski, and . Hubacber, Using a graphic data-processing system to design artwork for manufacturing hybrid integrated circuits, AFIPS '66 (Fall) Proceedings of the November 7-10, pp.229-246, 1966.

P. Lienhardt, L. Fuchs, and Y. Bertrand, Modèles topologiques. Informatique graphique, modélisation géométrique et animation, pp.49-93, 2007.

P. Lienhardt, N-dimensional generalized combinatorial maps and cellular quasi-manifolds, International Journal of Computational Geometry and Application, vol.4, issue.3, pp.275-324, 1994.

A. Lindenmayer, Mathematical models for cellular interactions in development i and ii. ilaments with one-sided inputs, Journal of Theoretical Biology, vol.18, issue.3, pp.280-299, 1968.

P. Lienhardt and S. Peltier, Simploidal sets, XLIM-ASALI -Synthèse et analyse d'images, 2016.
URL : https://hal.archives-ouvertes.fr/hal-00308014

M. Mantyla, Introduction to Solid Modeling, 1988.

D. Marcheix, A. Cardot, X. Skapin, and N. Dieudonné-glad, A persistent naming system based on graph transformation rules. WSCG, pp.48-54, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01816907

D. Michelucci and S. Foufou, Interrogating witnesses for geometric constraint solving, Proceedings of the 2009 ACM Symposium on Solid and Physical Modeling, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00784001

J. Mazziotta and H. Huang, Thread (three-dimensional reconstruction and display) with biomedical applications in neuron ultrastructure and computerized tomography, AFIPS '76 Proceedings of the, pp.241-250, 1976.

D. Mun and S. Han, Identiication of topological entities and naming mapping for parametric cad model exchange, International Journal of CAD/CAM, vol.5, issue.1, pp.69-81, 2009.

M. Mäntylä, D. S. Nau, and J. J. Shah, Challenges in featurebased manufacturing research, Communications of the ACM, vol.39, issue.2, pp.77-85, 1996.

. Mojang and . Minecraft,

A. Moussaoui, Ecole nationale Supérieure d'Informatique (ex I.N.I), 2016.

R. Mech and P. Prusinkiewicz, Visual models of plants interacting with their environment, SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques, pp.397-410, 1996.

D. Marcheix and G. Pierra, A survey of the persistent naming problem, Proceedings of the seventh ACM symposium on Solid modeling and applications, pp.13-22, 2002.

J. C. Owen, Algebraic solution for geometry from dimensional constraints, Proceedings of the irst ACM symposium on Solid modeling foundations and CAD/CAM applications, pp.397-407, 1991.

J. Owen, STEP : An Introduction. Information Geometers Ltd, 1997.

P. Prusinkiewicz, M. Hammel, and E. Mjolsness, Animation of plant development, Proceedings of SIGGRAPH 93, pp.351-360, 1993.

M. Poudret, Transformations de graphes pour les opérations topologiques en modélisation géométrique, application à l'étude de la dynamique de l'appareil de Golgi, 2009.

L. Piegl and W. Tiller, The NURBS book, 1997.

R. Quattrini and E. Baleani, Theoretical background and historical analysis for 3d reconstruction model : Villa thiene at cicogna, Journal of Cultural Heritage, vol.16, issue.1, pp.119-125, 2015.

A. Requicha, Mathematical models of rigid solid objects, 1977.

D. Roller, Advanced methods for parametric design. Geometric Modeling, pp.251-266, 1991.

G. Rozenber and . Saolmaa, The Mathematical Theory of L System, 1980.

P. Schreck, Automatisation des constructions géométriques à la règle et au compas, 1993.

J. J. Shah and M. Mäntylä, Parametric and feature-based CAD/CAM : concepts, techniques, and applications, 1995.

A. Smith, Plants, fractals, and formal languages, ACM SIG-GRAPH Computer Graphics, vol.18, issue.3, pp.1-10, 1984.

, Bethesda Softworks. Arena

, Bethesda Softworks. Oblivion

I. Sutherland, Sketchpad : A man-machine graphical communication system, Proceeding DAC '64 Proceedings of the SHARE design automation workshop, vol.6, pp.329-346, 1963.

D. Systèmes and . Abaqus,

. Bibliographie-[sysb]-dassault and . Systèmes,

O. Terraz, G. Guimberteau, D. Merillou, S. Plemenos, and D. Ghazanfar, 3gmap l-systems : an application to the modelling of wood, The Visual Computer, vol.25, issue.2, pp.165-180, 2009.

C. Theiss, Computer graphics displays of simulated automobile dynamics, AFIPS '69 (Spring) Proceedings of the May 14-16, pp.289-296, 1969.

S. Tessier and Y. Wang, Ontology-based feature mapping and veriication between cad systems, Advanced Engineering Informatics, vol.27, issue.1, pp.76-92, 2013.

A. Vince, Combinatorial maps, Journal of Combinatorial Theory Series B, vol.34, pp.1-21, 1983.

J. Wu, T. Zhang-zhang, and J. Zhou, A face based mechanism for naming, recording and retrieving topological entities, Computer-Aided Design, vol.33, issue.10, pp.687-698, 2001.

E. Yeguas, M. J. Marín-jiménez, R. Muñoz-salinas, and R. Medinacarnicer, Conlict-based pruning of a solution space within a constructive geometric constraint solver, Applied Intelligence, vol.41, issue.3, p.136, 2014.

, Arbres d'appariement, vol.6, p.133

, Arbres Virtuels, 97, 98 Journal d'Historique, p.74

. Brins, , vol.17, p.133

, Concepts Communs, vol.60, p.134

. Appariement, , vol.116, p.117

, Architecture à 3 couches, vol.27, p.134

E. Contingentes, , vol.33, p.123

, Entités Invariantes, vol.29, p.123

. Historique, , vol.26, p.134

, Informatique Graphique

. Jerboa, Journal de Bord, vol.49, p.74

B. Journaux-de, , vol.5, p.133

. Règles, , vol.53, pp.133-136

. Scripts-de-règles, , pp.134-136

, 132 Boundary Representation, Modèles Géométriques, vol.5, p.11

, Constructive Solid Geometry, p.10

, Courbes et Surfaces Paramétriques, vol.9, p.13

, Courbes Paramétriques, p.12

, Modèles Topologiques, vol.5, p.132

, Surfaces Paramétriques, p.13

C. Géométrique, 132 INDEX Equationnelle, vol.20, p.132

. Fonctionnelle, , vol.21, p.132

I. Persistant, , p.52

, Identiiants Persistants, vol.51, p.133

N. Persistant, , p.55

. .. Courbe-de-bézier,

. .. Surface-de-bézier,

. .. Aubes-de-turbine,

. .. Ruban-de-möbius,

.. .. Catégories-de-modèles-topologiques,

.. .. Éclatement-d'un-modèle,

. .. Changement-de-paramètres,

. .. Exemple-de-réévaluation,

. .. Exemple-de-réévaluation,

. .. Historique-chez-kripac,

. Graphe-de-contexte-chez-capoyleas and . .. Chen, , p.30

. .. Nommage-chez-wu,

. .. Caractérisation-d'entités-contingentes-chez-baba-ali, , p.38

. .. Recouvrement-de-sommets,

, Système d'équation de résolution du recouvrement

. .. Chez-baba-ali, , p.40

. .. Problème-de-la-mise-en-correspondance-de-noms, , p.41

, Exemples d'utilisation

. .. Règle-de-triangulation,

, Triangulation d'une face d'un modèle

, Étapes de l'application de la triangulation

&. .. Exemple-"fil-rouge,

, Règles de triangulation et de création de carré

, Application : l'identiication et le nommage persistants, p.52

, Nommage persistant du il rouge 3

, Nommage persistant du il rouge 5

, Nommage persistant du il rouge 5

, Nommage persistant du il rouge 6

. .. Règle-de-triangulation,

, Exemple d'application : Création d'un journal de bord, p.64

, Exemple d'application : Journal de bord de la triangulation -Sommets, p.65

, Journal d'historique hypothétique, réél, et arbre d'appariement : P I 7a et, N, vol.7, p.96

, Arbres d'appariement P N 5 -étape 1

, Arbres d'appariement P N 5 -étape

, Fil Rouge de l'ajout d'opérations -Jeu Initial et Rejeu, Journal d'historique associé à

, Fil Rouge de l'ajout d'opérations -Première mise à jour de l'arbre d

, Règle d'insertion d'arête, extraits de journal de bord et arbres virtuels, vol.102

, Fil Rouge de l'ajout d'opérations -Deuxième mise à jour de l'arbre d

, Fil Rouge de l'ajout d'opérations -Dernières mises à jour de l'appariement 103

.. .. Étape,

.. .. Étape,

.. .. Résultat, Étape, vol.3

.. .. Résultat, Étape, vol.4

.. .. Résultat, Étape, vol.5

.. .. Résultat, Étape, vol.6

.. .. Étape,

.. .. Étape,

, Fil rouge du calcul des tailles de noms persistants

. .. Journaux-d'historique-3d,

.. .. Suivi-d'historique-chez-baba-ali,