A static analysis for extracting runtime views from annotated object-oriented code

For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime object graphs that provide architectural abstraction from existing programs ...

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 diagram may be inconsistent with the code, and must be ...

Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code.

First, this work will make the ownership domains type system more expressive. Second, ownership ...