Geometrical Product Specifications and Verification for the Analytical Description of Technical and Non-technical Structures