Brevet FR2636753A1 — publié le 19900323

La présente invention concerne un procédé permettant d'annuler une opération à l'aide d'une relation de dépendance entre des opérations. Plus spécialement, l'invention concerne un procédé permettant d'annuler un état produit par une opération déjà exécutée dans un système de réalisation de modèle, ou modelage, un système de commande de version pour logiciels, et un système dans lequel un certain état (la forme du modelage, le texte, etc.) est produit par application, au système, d'instructions, permettant d'effectuer une opération telle qu'une opération de mise en forme, ou édition. Du fait de la rapide amélioration des fonctions des parties matérielles d'un ordinateur et de la réduction des coûts, le dispositif de réalisation de modèles de solides est passé du dispositif pour gros ordinateur classique au dispositif pour poste de travail. Dans la situation qui prévaut ainsi pour la réalisation de modèles, il est en outre nécessaire de faire avancer de manière interactive, ou par la méthode des essais et des erreurs, le dessin et la pièce. En particulier, Si est important de pouvoir effectuer simplement une opération de remodelage en relation avec les capacités opératoires du dispositif de modelage. A l'heure d'aujourd'hui, l'utilité d'un modèle de corps de solide est largement démontrée en ce qui concerne la réalisation d'une forme tridimensionnelle. Le coût des parties matérielles à fonctions hautement performantes a diminué, et la technique des réseaux a connu des progrès, si bien que le dispositif de modelage de corps solide est passé du dispositif réservé aux gros ordinateurs classiques à celui destiné à un poste de travail. Il est nécessaire de procurer, à un degré suffisant, un environnement conceptuel interactif pour le dispositif de modelage dans le cas où la réalisation de la forme s'effectue alors que chacun des concepteurs occupe un seul poste de travail. Dans l'environnement conceptuel interactif, le concepteur fait la forme à titre d'essai et examine si cette forme est en conformité avec une image qu'il a en tête. Si cette forme n'est pas en conformité avec l'image, le concepteur refait une nouvelle forme depuis le début. Le modèle se réalise et progresse par une suite d'essais et d'erreurs. Dans ce cas, il est nécessaire que le dispositif de modelage ait une fonction permettant d'aider suffisamment le travail de refabrication du concepteur. A titre d'aide à la méthode des essais et des erreurs intervenant dans La fabrication de cette forme, la demanderesse a proposé un procédé permettant de reproduire rapidement une forme réalisée antérieurement par le concepteur (voir H. Chiyokura et F.Kimura, "A Method of Representing the Solid Design Process", IEEE CG & , vol. 5, n0 4, avril 1985, p. 32-41 ; H. Toriya, T. Satoh, K. Ueda et H. Chiyokura, "UNDO et REDO Operations for Solid Modeling", IEEE CG & , vol. 6, n0 4, avril 1986, p. 35-42). Avec ce procédé, il est possible de reproduire rapidement la forme originale lorsqu'une forme inutile a été produite. En outre, dans "Interactive Control Using Knowledge with respect to Operations" de Yasushi Vamaguchi et Fumihiko Kimura, Université de Tokyo, recueil de thèses de Précision Engineering Society of Japan, 1987, une logique prédicative est utilisée pour emmagasiner un historique des opérations, de manière à permettre l'annulation de l'opération et une conception paramétrique.De plus, dans "Representation and Manipulation of Solid Modeling Process in the Assumption-based Truth Maintenance System", de Masatomo Inui et Fumihiko Kimura, Université de Tokyo, Technical Report, Kimura lab., Precision Machinery Engineering, Faculté d'Ingénierie, Université de Tokyo, il est utilisé un ATMS (système de maintenance de la vérité sur la base d'hypothèses pour ajouter une contradiction à la collection de faits, de manière à réaliser l'annulation d'une opération. Avec ces procédés, l'opération est annulée par utilisation d'un système de commande de données connu constitué par un Prolog, l'ATMS, etc. Toutefois, l'utilisation d'un semblable système de commande de données a pour inconvénients de demander une vitesse de réponse très retardée, tandis que les données maintenues sont augmentées. Par conséquent, un tel système de commande de données ne convient pas si bien que ça pour l'application interactive. C'est donc un but de l'invention de fournir un procédé permettant d'annuler une opération à l'aide d'une relation de dépendance entre des opérations, où seule une partie de l'opération permettant de déformer une forme est tout spécialement annulée par emmagasinage de la relation entre les opérations effectuées par un opérateur, sous la forme d'un graphe de la relation de dépendance. Le but ci-dessus de l'invention peut être réalisé par un procédé permettant d'annuler une opération à l'aide d'une relation de dépendance entre des opérations, qui comprend les étapes suivantes : fixer une condition pour l'existence d'opérations inverses correspondant à toutes les opérations ; produire une relation séquentiellement ordonnée entre les opérations lorsque la condition ci-dessus est satisfaite ; et annuler un état opératoire produit par les opérations déjà effectuées en utilisant la relation séquentiellement ordonnée entre les opérations.Ce procédé peut être appliqué à un système de réalisation de modèles, un système de commande de version pour logiciels, et un système permettant de produire un certain état opératoire (forme de réalisation de modèle, texte, etc.) par application, au système, d'instructions permettant d'effectuer une opération telle qu'une opération de mise en forme, ou édition. La description suivante, conçue à titre d'illustration de l'invention, vise à donner une meilleure compréhension de ses caractéristiques et avantages ; elle s'appuie sur les dessins annexés, parmi lesquels Les figures la à 1f sont des vues permettant d'expliquer un exemple de #réalisation de modèle ; les figures 2a et 2b sont des vues permettant d'expliquer un exemple d'une opération servant à allonger vers le haut une face d'un corps solide ; La figure 3 est une vue permettant d'expliquer un exemple d'un arbre de traitement conceptuel ; les figures 4a à 4f sont des vues permettant d'expliquer un mode de réalisation d'une opération de déformation d'une forme selon l'invention ; la figure 5 est un schéma présentant une relation semiordonnée de l'opération ; et les figures 6a à 69 sont des vues servant à montrer un exemple de l'annulation de l'opération. Dans le cas de la conception réelle d'une forme, il y a souvent des cas où un concepteur demande à ne refaire qu'une partie de la forme produite. Par exemple, on va considérer la réalisation d'un modèle telle que représentée sur les figures la à if. Dans ce cas, comme représenté sur la figure lb, on fait d'abord une rainure dans la partie inférieure d'un corps solide présenté sur la figure la. Ensuite, on allonge vers le haut une partie faciale du corps solide, comme représenté sur la figure 1c, et on fait une rainure dans une partie supérieure de la partie allongée, comme représenté sur la figure Id. Ensuite, on coupe une partie de coin de la partie supérieure de la partie allongée, comme représenté sur la figure le, et on forme un filet, comme représenté sur la figure If. Lorsque le concepteur veut élargir la largeur de la rainure formée dans la partie inférieure du corps solide tout en laissant inchangée la forme dans son ensemble, il ne peut produire automatiquement un état dans lequel seule la formation de la rainure dans cette partie inférieure est annulée, même lorsque la forme produite antérieurement peut être reproduite. Ceci est dû au fait qu'il n'existe pas d'état, dans le processus de réalisation du modèle, dans lequel il n'y a pas de rainure dans la partie inférieure et la partie restante est laissée telle qu'elle est. Dans la fonction permettant de reproduire La forme, toutes les parties, y compris les parties de formes qui ne doivent pas être changées pour le concepteur, sont ramenées à leur forme originale. Par conséquent, lorsque la forme conçue se complique, il est nécessaire de pouvoir disposer d'une fonction permettant de n'annuler qu'une partie des opérations effectuées antérieurement. On va tout d'abord faire une description se rapportant à un procédé permettant de représenter un processus dans lequel Le concepteur fait la forme tridimensionnelle, et un procédé permettant de reproduire la forme tridimensionnelle faite antérieurement par le concepteur. L'invention ne s'applique pas seulement à la réalisation de modèles tridimensionnels, mais peut également être appliquée à un système de commande de version pour logiciels, et à un système d'ordinateur tel qu'un moyen de mise en forme, ou éditeur. Des opérations primitives permettant de déformer Le corps sotide sont d'abord préparées. Toutes les opérations permettant de déformer La forme sont finalement décomposées en une série d'opérations primitives, puis sont exécutées. Par exemple, une opération permettant d'allonger une face supérieure d'un corps solide, tel que représenté sur la figure 2a, vers le haut, comme représenté sur La figure 2b, est décomposée en les huit opérations primitives suivantes : (1) MEV, (2) MEV, (3) MEV, (4) MEV, (5) MEL, (6) MEL, (7) MEL et (8) MEL, puis ces opérations sont exécutées. Les particularités des opérations primitives sont qu'il s'agit d'opérations primitives permettant de déformer de manière inverse la forme en correspondance biunivoque avec chacune des opérations distinctes à tout moment. Le tableau 1 montre un exemple d'opérations permettant de déformer une structure topologique relativement aux opérations primitives utilisées dans ce système. Tableau 1 (opérations primitives) MEL Faire un bord et une boucle KEL Supprimer un bord et une boucle MVE Faire un sommet et un bord KVE Supprimer un sommet et un bord MEKL Faire un bord et supprimer une boucle KEML Supprimer un bord et faire une boucle MEVVL Faire un bord, un sommet, un sommet et une boucle Tableau 1 (opérations primitives) (suite) KEVVL Supprimer un bord, un sommet, un sommet et une boucle MZEV Faire un bord de longueur nulle et un sommet KZEV Supprimer un bord de longueur nulle et un sommet MEV Faire un bord et un sommet KEV - Supprimer un bord et un sommet KPLMCL Supprimer une boucle en P et faire une boucle en C KCLMPL Supprimer une boucle en C et faire une boucle en P Dans la suite de la description, une opération signifie un traitement qui permet de déformer la forme et est composé de plus d'une opération primitive, l'opération ayant en outre un certain sens. Par exemple, l'allongement d'une face du corps solide vers le haut est une opération, et cette opération est constituée par les opérations primitives ci-dessus mentionnées. La figure 3 montre un exemple de réalisation de modèle pour le corps solide. Dans ce cas, lorsque le corps solide est fait dans un ordre séquentiel (A0), (A1,1), (A1 2) (A1,3) et (A1,4 > , une opération du type défaire est effectuée deux fois. Ensuite, à partir de l'état de forme (A1,2), une autre forme est refaite suivant l'ordre séquentiel (A1,2), (A2 1) et (A2,2). L'opération du type défaire est effectuée deux fois et une opération du type refaire est effectuée une fois. Ainsi, une forme (A3,1) est nouvellement refaite à partir de l'état de forme (A1,3). La figure 3 montre une semblable situation.Les processus permettant au concepteur de produire la forme tridimensionnelle peuvent être représentés par une semblable structure en arbre. Un tel arbre est appelé un arbre de traitement conceptuel. Une branche de l'arbre de traitement conceptuel correspond à une opération exécutée à cet instant. Lorsque toutes les opérations permettant de déformer la forme ont été exéctuées à l'aide des opérations primitives ci-dessus mentionnées, la reproduction (DEFAiRE, REFAIRE) de la forme tridimensionnelle peut être réalisée sans qu'il faille produire les données de la forme tridimensionnelle à tous les points de jonction de l'arbre de traitement conceptuel. Tout d'abord, certaines opérations primitives sont effectuées à toutes les exécutions de chacune des opérations de déformation. La série de ces opérations primitives est emmagasinée en une branche correspondante de l'arbre de traitement conceptuel. L'opération de type défaire peut être réalisée par exécution des opérations correspondant aux opérations primitives emmagasinées sur la branche dans l'ordre inverse par rapport au corps solide.Ceci est dû au fait que, par une semblable opération inverse, la déformation d'une forme opposée est effectuée de manière à annuler la déformation de la forme effectuée par rapport au corps solide, ce qui reproduit la forme solide initiale. L'opération de type refaire peut être simplement effectuée par exécution des opérations primitives emmagasinées sur la branche, telles qu'elles sont. La structure de la série des opérations effectuées par le concepteur va maintenant être expliquée avant que ne soit décrit le procédé d'annulation d'une opération. Le travail de conception s'exécute par le fait que le concepteur fournit divers types d'opérations au dispositif de réalisation de modèles. L'opération est celle consistant en ce que le concepteur fournit des instructions au dispositif de réalisation de modèles et, en résultat, fait ou change une nouvelle forme dans le système. Ainsi, par l'exécution de l'opération, une nouvelle forme est faite, ou bien la forme faite jusqu'ici est changée à l'intérieur du système. Les résultats produits par l'opération sont l'une quelconque des deux suivantes, ou bien les deux suivantes : (1) production de la nouvelle forme, et (2) changement de la forme déjà faite. Ce dernier résultat définit la relation séquentiellement ordonnée de l'opération. Ainsi, l'expression "forme déjà faite" signifie que la forme est faite ou modifiée par l'opération (qui est appelée opération A dans la suite de la description) exécutée avant cela. Par conséquent, relativement à cette forme déjà faite , l'opération de déformation dépend des résultats de l'opération A. Dans la série des opérations effectuées par le concepteur lors du processus de réalisation de modèle, une certaine forme est faite par chacune des opérations. Dans la plus grande partie des opérations, la forme faite par les opérations exécutées avant celle-ci est en outre modifiée. Ainsi, il existe une relation de dépendance entre les opérations effectuées par le concepteur. Par conséquent, l'ordre séquentiel des opérations peut être défini par cette relation de dépendance et est généralement constitué par une relation semi-ordonnée. Les figures 4a à 4f montrent la réalisation d'un modèle afin d'expliquer un mode de réalisation de la présente invention. Dans ce mode de réalisation, un corps solide, c'est-à-dire tridimensionnel, représenté sur la figure 4a possède une face A indiquée sur la figure 4b, et cette face est allongée, comme représenté sur la figure 4c. Ensuite, on effectue une opération d'arrondissement par rapport à cette face A, comme indiqué sur la figure 4e. Une face B du corps solide représenté sur la figure 4b subit également un allongement, comme représenté sur la figure 4d, et une opération d'arrondissement est effectuée relativement à la face B, comme représenté sur la figure 4f. Les opérations sont exécutées suivant l'ordre séquentiel a à f. Toutefois, Les opérations permettant d'obtenir le résultat f peuvent être exécutées dans l'ordre c et d, ou bien dans l'ordre d et c. De plus, ces opérations peuvent être exécutées dans l'ordre e et f, ou bien dans l'ordre f et e. Le point important est que l'opération montrée sur la figure 4c est exécutée avant L'opération montrée sur la figure 4e, et que l'opération présentée sur la figure 4d est effectuée avant l'opération présentée sur la figure 4f. Comme on peut le voir à partir de cet exemple, un ordre séquentiel peut être défini entre deux opérations. Toutefois, la relation séquentiel lement ordonnée ne peut pas être définie relativement à toutes les opérations, de sorte que les opérations se construisent suivant une relation semi-ordonnée. Dans cet exemple, on peut définir, comme représenté sur la figure 5, la relation semi-ordonnée. En général, un nouveL état est réalisé lorsqu'une certaine opération est exécutée. Une autre opération change l'état fait par les opérations exécutées avant cette opération.Par conséquent, on comprend qu'il existe une relation de dépendance du fait de l'utilisation des résultats des opérations effectuées avant la relation suivante. Par exemple, relativement aux opérations présentées sur Les figures 4a à 4f, L'ordre séquentiel déterminé par la relation de dépendance entre les opérations, comme indiqué sur la figure 5, peut être défini. Les éléments (a) à (f) de la figure 5 correspondent respectivement aux figures 4a et 4f. Lorsqu'on annule à l'avance une partie des opérations en faisant une semblable relation de dépendance, les opérations inverses relatives à toutes les opérations ultérieures sont exécutées à l'avance, puis L'opération inverse de cette partie est exécutée. On peut annuler cette opération en défaisant l'une quelconque des opérations exécutées.Puisque l'opération primitive correspondant à chacune des opérations est emmagasinée sur la branche de l'arbre de traitement conceptuel, il suffit de défaire la branche correspondant à l'opération à annuler, mais l'opération du type défaire ne peut pas être effectuée s'il n'existe pas de condition par rapport à toutes les branches. Par exemple, dans le cas de la figure 4, lorsqu'on annule l'opération indiquée sur la figure 4c, il faut annuler préalablement l'opération représentée sur la figure 4e. Ceci est dû au fait que l'opération de la figure 4c dépend seulement de la forme de la figure 4e, comme on peut le déduire de la relation de dépendance de la figure 5. Par conséquent, le résultat de l'opération de la figure 4e doit être annulé précédemment pour qu'on puisse annuler l'opération de la figure 4c. De façon générale, pour annuler une certaine opération, il est nécessaire d'annuler toutes les opérations faisant suite å l'opération qui doit être annulée dans la relation semi-ordonnée des relations ci-dessus indiquées. Les opérations qui font suite à l'opération considérée dans la relation semi-ordonnée sont les opérations qui dépendent de cette opération considérée. Ainsi, lorsqu'on annule l'opération indépendante, les opérations suivantes perdent toute base d'existence. Par conséquent, pour éviter cela, il faut annuler à l'avance toutes les opérations suivantes. Sinon, on peut considérer ce qui suit. Pour qu'il soit possible de défaire une certaine opération, il suffit que l'état d'une forme se rapportant à cette opération considérée soit le même que juste avant l'exécution de cette opération. Ainsi, une condition suffisante pour pouvoir effectuer l'opération du type défaire est que les données topologiques ou géométriques d'un élément de forme (bord, sommet, etc.) modifié par l'opération soient les mêmes que celles existant juste après la première exécution de cette opération. Cette condition suffisante est satisfaite si toutes les opérations qui font suite à l'opération considérée sont défaites dans la relation semi-ordonnée. Comme on a pu le voir à l'aide de la description ci-dessus donnée, on peut effectuer l'opération d'annulation en défaisant à l'avance toutes les opérations qui font suite à l'opération à annuler dans la relation séquentiellement ordonnée, puis en défaisant l'opération à annuler. Ce processus d'annulation est présenté dans le tableau 2 suivant. Tableau 2 (processus d'annulation) annuler(OP) Si OP est déjà annulé, alors faire un retour ; pour chaque op-dépendante de OP annuler(op-dépendante) ; effectuer défaire (DP) ; * OP est une opération à annuler. * "op-dépendante" est une opération qui dépend de OP et qui peut être vue d'après un graphe montrant la relation semi-ordonnée. * "déf ai re (OP) indique un processus permettant de défaire une opération primitive emmagasinée sur une branche d'un arbre de traitement conceptuel correspondant à OP l On ne voit pas clairement dans quelles opérations existe la relation dépendante à partir de la seule structure d'arbre du processus de production de corps solide. Ainsi, lorsqu'une opération est exécutée, une autre opération de laquelle cette opération dépend doit être trouvée. De plus, un graphe représentant la structure semi-ordonnée des opérations est fait à l'avance en fonction de la relation de dépendance existant entre les opérations. Au moment de l'annulation de l'opération, on trouve la relation de dépendance entre les opérations en se reportant à ce graphe. Pour connaître la relation de dépendance des opérations, on emmagasine un pointeur se rapportant à l'opération ci-dessus au titre d'information sur l'élément de forme (bord, sommet, etc.) modifié par L'opération. Lorsqu'un certain élément de forme est changé par l'opération, une opération dépendante est donnée par l'opération qui est indiquée par le pointeur emmagasiné au sujet de cet élément de forme, si bien qu'on peut trouver rapidement l'opération dépendante. Dans le cas du dispositif de réalisation de modèles de corps solides, beaucoup d'informations sont normalement ajoutées à l'élément de forme, de sorte que ce n'est pas une charge importante d'ajouter l'information de pointeur se rapportant à l'opération sur l'élément de forme. L'information nécessaire pour effectuer l'opération d'annulation se compose du pointeur ajouté à l'élément de forme relativement au pointeur et du graphe montrant la relation semi-ordonnée. Lorsque les opérations du type défaire et refaire sont effectuées, il est également nécessaire de ramener cette information à son état initial. Par conséquent, les traitements de remise à jour de ces deux informations sont respectivements effectués au titre d'opérations primitives. Les modifications produites pendant l'exécution des traitements de remise à jour sont emmagasinées sur l'arbre de traitement conceptuel du fait de l'exécution des opérations primitives, ainsi que des autres opérations primitives. Ainsi, lorsqu'on effectue l'opération du type défaire, le pointeur et le graphe semi-ordonné sont automatiquement ramenés dans leurs états initiaux, si bien qu'il est possible d'effectuer l'opération d'annulation, l'opération de type défaire et l'opéra- tion de type refaire. Les figures 6a à 69 montrent un exemple de l'opération d'annulation. Dans cet exemple, une rainure est formée sur la figure 6b. On effectue l'opération de modelage jusqu'à ce qui est obtenu à la figure 6e, puis on annule la rainure. La figure 6f montre les résultats de l'opération d'annulation. La figure 6g montre l'état dans lequel la rainure a été annulée, puis a été refaite. La condition préalable permettant de réaliser l'invention est l'existence des opérations primitives. Si toutes les opérations peuvent être effectuées à l'aide des opérations primitives et s'il existe des opérations inverses correspondant à toutes les opérations primitives, l'opération du type défaire, l'opération du type refaire et l'opération d'annulation peuvent également être effectuées par un système d'ordinateur, sauf le dispositif de réalisation de modèles de corps solides. Selon l'invention, les opérations primitives exécutées sont emmagasinées à l'aide~de La--structure cl'arbra- Les opérations primitives emmagasinées indiquent la différence d'état entre avant et après l'exécution de l'opération. La mémorisation de la série des opérations primitives correspond à l'emmagasinage des différences entre le premier état et l'état présent. La quantité de données correspondant à un historique de l'opération n'est pas si importante par comparaison avec la quantité de données voulues. Comme procédé permettant de réaliser le re-essai et l'annulation de l'opération, il existe "Representation and Manipulation of Solid Modeling Process in the Assumption-based Truth Maintenance System" de M. Inui et F. Kimura, Sata & Kimura Lab. Technical Report, Department of Precision Machinery Engr., Faculté d'ingénierie, Université de Tokyo, 1988. Ce procédé utilise le système ATMS, de J. de Kieer, "An Assumption-based Truth Maintenance System", Artifical Intelligence, vol. 28, n0 2, 1986, p. 127-162. Toutefois, l'invention peut être réalisée sans qu'il soit besoin de préparer un mécanisme de commande de données de grande taille, tel que l'ATMS. De plus, selon l'invention, une fonction permettant d'annuler une opération est réellement utilisée dans le système de réalisation de modèles de corps solides appelé BASE CONCEPTUELLE, si bien qu'une opération d'annulation peut être effectuée en même temps qu'une réponse est obtenue à grande vitesse. Comme ci-dessus mentionné, selon l'invention, un procédé permettant d'annuler une opération à l'aide d'une relation de dépendance entre des opérations comprend les étapes suivantes fixer une condition pour l'existence d'opérations inverses correspondant à toutes les opérations ; produire une relation séquentiel- Lement ordonnée entre les opérations lorsque la condition ci-dessus est satisfaite ; et annuler un état opératoire produit par les opérations déjà effectuées en utilisant la relation séquentiellement ordonnée entre les opérations.Ce procédé peut être appliqué à un système de réalisation de#modèles, à un système de commande de version pour logiciels, et à un système permettant de produire un certain état opératoire (forme de réalisation de modèle, texte, etc.) par l'application, au système, d'instructions permettant d'effectuer une opération telle qu'une opération de mise en forme, ou édition. En particulier, la quantité de données modifiées se rapportant a l'opération à un moment donné est minimisée, si bien qu'on peut effectuer l'opération d'annulation sans réduire beaucoup la vitesse de réponse du dispositif classique de réalisation de modèle. Bien entendu, l'homme de l'art sera en mesure d'imaginer, à partir du procédé dont la description vient d'être donnée à titre simplement illustratif et nullement limitatif, diverses autres variantes et modifications ne sortant pas du cadre de l'invention. REVENDICATIONS 1. Procédé permettant d'annuler une opération à l'aide d'une relation de dépendance entre opérations, caractérisé en ce qu'il comprend les étapes suivantes : fixer une condition pour l'existence d'opérations inverses correspondant à toutes les opérations ; produire une relation séquentiellement ordonnée entre les opérations lorsque ladite condition est satisfaite ; et annuler un état opératoire produit par les opérations déjà effectuées en utilisant la relation séquentiellement ordonnée entre les opérations. 2. Procédé selon la revendication 1, caractérisé en ce qu'il est appliqué à un système de réalisation de modèles, à un système de commande de version pour logiciels, et à un système permettant de produire un certain état opératoire par application, au système, d'instructions permettant d'effectuer une opération telle qu'une opération de mise en forme, ou édition. 3. Procédé selon la revendication 1, caractérisé en ce qu'on effectue l'opération d'annulation en emmagasinant une relation de dépendance entre les opérations effectuées par un opérateur, sous la forme d'un graphe. 4. Procédé selon la revendication 1, caractérisé en ce qu'iL existe des opérations primitives permettant de déformer en sens inverse une forme suivant une correspondance biunivoque pour les opérations particulières. 5. Procédé selon la revendication 4, caractérisé en ce qu'on effectue l'opération de déformation de la forme à l'aide des opérations primitives. 6. Procédé selon la revendication 4, caractérisé en ce que l'opération primitive correspondant à chacune des opérations d'instructions est emmagasinée sur une branche d'un arbre de traitement conceptuel. 7. Procédé selon la revendication 1, caractérisé en ce que ladite relation séquentiellement ordonnée est construite par une structure semi-ordonnée. 8. Procédé selon la revendication 1, caractérisé en ce qu'on effectue l'opération d'annulation en défaisant à l'avance dans la relation séquentiellement ordonnée toutes les opérations qui font suite à l'opération à annuler. 9. Procédé selon la revendication 1, caractérisé en ce que les informations nécessaires pour effectuer l'opération d'annulation sont constituées par un pointeur ajouté à un élément de forme relativement à l'opération et par un graphe montrant une relation semi-ordonnée au titre de la relation séquentiellement ordonnée.