Static extraction and conformance checking of the runtime architecture of object-oriented systems
Marwan Abi-Antoun · 2008
We propose a semi-automated approach to statically extract a runtime architecture of an object-oriented system using ownership domain annotations and check its structural conformance with an as-designed architecture. In contrast, previous work used dynamic analyses that cover some but not all possible executions, or used radical language extensions or implementation restrictions. The approach also extracts an architecture that is hierarchical and sound, i.e., one that accounts for all objects and relations that could possibly exist at runtime.