Skip to Main content Skip to Navigation
Reports

Validation de modèle et propagation de contraintes dans le système TRIDENT

Résumé : Ce rapport est consacré à l'étude de deux points particuliers du système d'interprétation de scènes 3D TRIDENT. La première partie détaille le fonctionnement d'un outil de validation du modèle de la scène. Il permet au concepteur de contrôler a posteriori la validité du modèle qu'il vient de construire. Ce travail s'apparente à la validation d'une spécification formelle. La seconde partie étudie différentes techniques de propagation de contraintes qui sont nécessaires aussi bien pour valider le modèle que pour reconnaître une scène. Outre l'adaptation de la méthode de Bledsoe-Shostack, nous décrivons la solution adoptée dans le cas de systèmes comportant des alternatives.
Complete list of metadata

https://hal.inria.fr/inria-00548488
Contributor : THOTH Team Connect in order to contact the contributor
Submitted on : Monday, December 20, 2010 - 8:49:40 AM
Last modification on : Friday, February 26, 2021 - 3:26:01 PM

Identifiers

  • HAL Id : inria-00548488, version 1

Collections

Citation

Martine Camonin, Roger Mohr, Françoise Simonot. Validation de modèle et propagation de contraintes dans le système TRIDENT. [Rapport de recherche] 85-R-045, 1985. ⟨inria-00548488⟩

Share

Metrics

Record views

25