Hypertext, Solid Modeling and Hierarchical structures in architectural formal analysis