Skip to Main content Skip to Navigation
Journal articles

Formal language for GeoSpelling

Abstract : 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.
Document type :
Journal articles
Complete list of metadata
Contributor : Compte de Service Administrateur Ensam <>
Submitted on : Friday, February 13, 2015 - 3:46:01 PM
Last modification on : Tuesday, March 2, 2021 - 2:44:10 PM
Long-term archiving on: : Thursday, May 14, 2015 - 10:10:39 AM


Files produced by the author(s)



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⟩



Record views


Files downloads