Summary: Static Extraction and Conformance Analysis of
Hierarchical Runtime Architectural Structure
May 14, 2010
Institute for Software Research
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Jonathan Aldrich (Chair)
Brad A. Myers
Nenad Medvidovic, U.S.C.
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy.
Copyright © 2010 Marwan Abi-Antoun
This work was supported in part by NSF CAREER award CCF-0546550, DARPA contract HR00110710019, Army
Research Office grant number DAAD19-02-1-0389 entitled "Perpetually Available and Secure Information Sys-
tems," the U.S. Department of Defense, and the Software Industry Center at Carnegie Mellon University and its