Formal language for GeoSpelling

Alex Ballu (1) , Luc Mathieu (2) , Jean-Yves Dantan (3)

1 I2M - Institut de Mécanique et d'Ingénierie de Bordeaux
2 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée
3 LCFC - Laboratoire de Conception Fabrication Commande

In order to tackle the ambiguities of Geometrical Product Specification (GPS), GeoSpelling language has been developed to express the semantics of specifications. A detailed syntax of GeoSpelling is proposed in this paper. A specification is defined as a sequence of operations on the skin model. The syntax is based on instructions used in computer programming language: call to functions and flow control by condition and loop. In GeoSpelling, the call to functions corresponds to the declaration of operations; loops make it possible to manage a set of features with rigor and conditions to select features from a set.

Mots clés: GeoSpelling; Geometrical Product Specification; Specifications semantic; Formal language

Domaines: Mécanique [physics.med-ph]

Alex Ballu, Luc Mathieu, Jean-Yves Dantan. Formal language for GeoSpelling. Journal of Computing and Information Science in Engineering, 2014, 35p. ⟨10.1115/1.4029216⟩. ⟨hal-01116055⟩