Static Architecture-Conformance Checking: An Illustrative Overview

In this article, the authors compare and illustrate the use of three static architecture-conformance techniques: dependency-structure matrices, source code query languages, and reflexion models. To highlight the similarities and differences between these three techniques, they describe how to apply some of the techniques´ available supporting tools to specify and check architectural constraints for a simple personal information management system.