| Titre : |
Modélisation et rejeu basés sur des règles |
| Type de document : |
thèse |
| Auteurs : |
Maxime GAIDE, Auteur ; Stéphane JEAN, Directeur de thèse ; David MARCHEIX, Directeur de thèse ; Xavier SKAPIN, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; David CAZIER, Rapporteur ; Guillaume DAMIAND, Rapporteur ; Agnès ARNOULD, Examinateur ; Pascale LE GALL, Examinateur ; Jean-Luc MARI, Examinateur |
| Importance : |
163 p. |
| Note générale : |
NNT 2024ESMA0026
Remerciements
Table des matières
Introduction
Bibliographie
Table des figures
Table des listings
Liste des tableaux
Résumé
Mots clés
|
| Catégories : |
Graphes topologiques, Théorie des
Modélisation tridimensionnelle
Optimisation topologique
Réécriture, Systèmes de (informatique)
Réévaluation (mathématiques)
Systèmes, Conception de
Topologie combinatoire
Transformation de graphes
|
| Résumé : |
OUTILS POUR LA MODÉLISATION À BASE DE RÈGLES
Introduction
Graphes et transformations de graphes
Les cartes généralisées
Le langage Jerboa
Conclusion
ÉTAT DE L'ART : MODÉLISATION PARAMÉTRIQUE
Introduction
Approches de modélisation paramétriques
Nomination persistante
Classification des méthodes de nomination persistante
Conclusion
FORMALISATION DES ÉVÉNEMENTS
Introduction
Les événements dans les transformations d'objets
Les événements dans les règles de transformation de graphe
Les événements dans les règles Jerboa
Conclusion
RÉÉVALUATION À BASE DE RÈGLES
Introduction
Scripts
Structure de séquence
Structure d'itération
Structures d'alternatives
Example d'imbrication de structures de contrôle
Conclusion
CONCLUSION
|
| En ligne : |
https://theses.hal.science/tel-04886518 |
|
