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

An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively, an existing diagr...