Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Static Extraction and Conformance Checking of the Runtime Architecture of Object-Oriented Systems
 

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,

  

Source: Abi-Antoun, Marwan - Department of Computer Science, Wayne State University

 

Collections: Computer Technologies and Information Sciences