Declarative modelling and transformation of a constrained geometric object. (1st January 2011)