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

Marwan Abi-Antoun, Jonathan Aldrich
2009 SIGPLAN notices  
A high-level architectural diagram of a system's organization can be useful during software evolution. Such a diagram is often missing and must be extracted from the code. Alternatively, an existing diagram may be inconsistent with the code, and must be analyzed for conformance with the implementation. One important notion of conformance, the communication integrity principle, stipulates that each component in the implementation may only communicate directly with the components to which it is
more » ... nnected in the architecture. This dissertation proposes a novel approach, SCHOLIA *
doi:10.1145/1639949.1640113 fatcat:vfigrxw7afcolheyf27gxjlfba