| | |
Summary: Static Extraction and Conformance Checking of the Runtime
Architecture of Object-Oriented Systems
Marwan Abi-Antoun
School of Computer Science, Carnegie Mellon University
marwan.abi-antoun@cs.cmu.edu
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 con-
formance with an as-designed architecture. In contrast, pre-
vious 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 ex-
ist at runtime.
Categories and Subject Descriptors D.3.3 [Programming
Languages]: Language Constructs and Features
General Terms Design, Experimentation, Languages
Keywords architectural extraction, conformance checking,
|
