Spécifications formelles du chanfreinage
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.
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.
F.LEDOUX, J.MOTA, A.ARNOULD, C.DUBOIS, P.GALL, Y.BERTRAND
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.
formal specifications, B method, algebraic specifications, C A S L , geometric modelling, n-dimensional generalized map, chamfering.
Français
|
