ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 21/8 - 2002  - pp.1073-1098
TITRE
Spécifications formelles du chanfreinage

RÉSUMÉ
La représentation mathématique des objets géométriques, la complexité et le nombre d'algorithmes nécessaires, sont des indices forts pour une utilisation bénéfique des méthodes formelles. Nous présentons une étude de la spécification formelle de deux opérations importantes : la première permet de coller deux objets ensemble et la seconde, plus complexe, chanfreine les angles vifs des objets 3D. Cette étude est menée dans le cadre de deux méthodes formelles, B (orientée modèles) et C A S L (orientée propriétés) avec pour objectif de privilégier la compréhension par les experts en modélisation géométrique.


ABSTRACT
The mathematical representation of geometric objects, the complexity and the number of algorithms necessary to handle them, make us believe that formal methods are well suited to this field. In this article, we study the formal specification of two important operations for geometric modelling: sewing and chamfering. Sewing consists in building a new object from two objects by joining them and chamfering is to flatten 3D objects' angles. We have used two formal methods, the B method (model oriented) and C A S L (property oriented) in order to make it readable by the think-tank of the concerned field.


AUTEUR(S)
Franck LEDOUX, Jean-Marc MOTA, Agnès ARNOULD, Catherine DUBOIS, Pascale Le GALL, Yves BERTRAND

MOTS-CLÉS
spécifications formelles, méthode B, spécifications algébriques, C A S L , modélisation géométrique, cartes généralisées de dimension n, chanfreinage.

KEYWORDS
formal specifications, B method, algebraic specifications, C A S L , geometric modelling, n-dimensional generalized map, chamfering.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (239 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier