| | |
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
{marwan.abi-antoun, jonathan.aldrich}@cs.cmu.edu
Abstract
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
1. Introduction
Existing static analyses that extract representations of a sys-
|
