Summary: Tool Support for the Static Extraction of Sound Hierarchical
Representations of Runtime Object Graphs
Marwan Abi-Antoun Jonathan Aldrich
School of Computer Science, Carnegie Mellon University
Ownership domain annotations specify in code architectural
intent related to object encapsulation and communication.
These annotations also enable the static extraction of a sound
hierarchical representation of the runtime object graph.
The tool support consists of one Eclipse plugin to type-
check the annotations inserted as Java 1.5 annotations, and
another to extract a representation of the runtime object
graph abstracted by ownership hierarchy and by types.
Categories and Subject Descriptors D.3.3 [Programming
Languages]: Language Constructs and Features
General Terms Experimentation, Languages
Keywords runtime architecture, architectural extraction
Existing static analyses that extract representations of a sys-