HAL : hal-00352083, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Techniques et Sciences Informatiquess 21, 8 (2002) 1-26

Spécifications formelles du chanfreinage

Franck Ledoux 1, Jean-Marc Mota 1, Agnès Arnould (  Auteur correspondant ) 2, 3, Catherine Dubois 4, Pascale Le Gall 1, Yves Bertrand 2, 3

(2002)

La représentation mathématique des objets géométriques, la complexité et le nombre d'algorithmes nécessaires à leur manipulation, sont des indices forts pour une utilisation aisée et bénéfique des méthodes formelles. Nous présentons dans cet article une étude de la spécifi- cation formelle d'une opération complexe et importante en modélisation géométrique. Il s'agit de l'opération de chanfreinage consistant à aplanir 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 CA S L (orientée propriétés) avec pour objectif de privilégier la lisibilité par les experts du domaine. De plus, la formalisation et la rétro-ingéd'une méthodologie dédiée.

1 :	Laboratoire de méthodes informatiques (LMI)
	CNRS : UMR8042 – Université d'Evry-Val d'Essonne
2 :	SIGNAL-IMAGE-COMMUNICATION (SIC)
	CNRS : FRE2731 – Université de Poitiers
3 :	Institut de recherche en communications optiques et microondes (IRCOM)
	CNRS : UMR6615 – Université de Limoges
4 :	Centre d'Etude et De Recherche en Informatique du Cnam (CEDRIC)
	Conservatoire National des Arts et Métiers (CNAM)

Domaine

:

Informatique/Génie logiciel Informatique/Modélisation et simulation

Mots Clés : spécifications formelles – méthode B – spécifications algébriques – CASL – modélisation géométrique – cartes généralisées de dimension n – chanfreinage

hal-00352083, version 1

http://hal.archives-ouvertes.fr/hal-00352083

oai:hal.archives-ouvertes.fr:hal-00352083

Contributeur : Agnès Arnould <>

Soumis le : Lundi 12 Janvier 2009, 14:20:56

Dernière modification le : Dimanche 25 Janvier 2009, 15:49:30