Formal Language for GeoSpelling | Zendy

Alex Ballu | Zendy; Luc Mathieu | Zendy; JeanYves Dantan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formal Language for GeoSpelling

Author(s) -

Alex Ballu,

Luc Mathieu,

JeanYves Dantan

Publication year - 2014

Publication title -

journal of computing and information science in engineering

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.538

H-Index - 50

eISSN - 1944-7078

pISSN - 1530-9827

DOI - 10.1115/1.4029216

Subject(s) - programming language , computer science , syntax , semantics (computer science) , set (abstract data type) , programming language specification , specification language , formal specification , software engineering , artificial intelligence , programming paradigm , programming domain , inductive programming

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research