Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations

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 analyzed for conformance with the implementation. One can generalize the global object diagram of a system into a runtime architecture which abstracts objects into components, represents how those components interact, and can decompose a component into a nested sub-architecture. A static object diagram represents all objects and interobject relations possibly created, and is recovered by static analysis of a program. Existing analyses extract static object diagrams that are non-hierarchical, do not scale, and do not provide meaningful architectural abstraction. Indeed, architectural hierarchy is not readily observable in arbitrary code. Previous approaches used breaking language extensions to specify hierarchy and instances in code, or used d...

• Type: Conference
• Year: 2009
• Where: OOPSLA
• Authors: Marwan Abi-Antoun, Jonathan Aldrich
• Keywords: Global Object Diagram, Object Diagrams, OOPSLA 2009, Security Privacy, Static Object Diagrams