Spécifications formelles du chanfreinage

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

1 LaMI - Laboratoire de Méthodes Informatiques
2 SIC - SIGNAL-IMAGE-COMMUNICATION
3 CEDRIC - Centre d'études et de recherche en informatique et communications

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.

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

Domaines: Génie logiciel [cs.SE]; Modélisation et simulation

Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, et al.. Spécifications formelles du chanfreinage. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2002, 21 (8), pp.1-26. ⟨hal-00352083⟩