Spécifications formelles du chanfreinage

National audienceLa 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