Adding Ownership Domain Annotations to and Extracting Ownership Object Graphs from MiniDraw

Abstract

We conducted a case study in adding ownership domain annotations to and extracting hierarchical object graphs from a small pedagogical object-oriented framework written in Java. We describe, using examples from the actual system, how we incrementally annotated the code then used static analysis to extract Ownership Object Graphs (OOGs) depicting the run-time structure of the system. We also discuss a preliminary evaluation of the extracted OOG and how we refined it before providing it to external developers.