Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations