A framework for geometric constraint satisfaction problem

This article presents a metalanguage called GCML which allows the description of geometric constraint problems. In the spirit of algebraic specifications, it constitutes a framework to accompany a geometric problem from its expression to its solution. Its originality is to provide a problem with its framework called geometric universe, a tuple (syntax, semantic) which allows to get rid of ambiguities and limitations concerning description which is then freed from any software restriction. Moreover, distinction between syntax and semantic allows pre and post treatments in order to generate tools while adopting different semantic points of view in the following fields: modeling, visualization, resolution and documentation. Pragmatically, this metalanguage is based upon XML which is a language of terminology description, and allows to embed other terminologies to express different semantics.