Static extraction and conformance checking of the runtime architecture of object-oriented systems

Authors:
Marwan Abi-Antoun
Affiliations:
Carnegie Mellon University, Pittsburgh, PA, USA
Venue:
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 4
Cited 1

Lightweight Extraction of Object Models from Bytecode

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Software Reflexion Models: Bridging the Gap between Design and Implementation

IEEE Transactions on Software Engineering
Generalized aliasing as a basis for program analysis tools

Generalized aliasing as a basis for program analysis tools
Differencing and merging of architectural views

Automated Software Engineering

Controlling software architecture erosion: A survey

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a semi-automated approach to statically extract a runtime architecture of an object-oriented system using ownership domain annotations and check its structural conformance with an as-designed architecture. In contrast, previous work used dynamic analyses that cover some but not all possible executions, or used radical language extensions or implementation restrictions. The approach also extracts an architecture that is hierarchical and sound, i.e., one that accounts for all objects and relations that could possibly exist at runtime.