Static Architecture-Conformance Checking: An Illustrative Overview
Leonardo Teixeira Passos, Ricardo Ribeiro Terra, Marco Túlio Valente, Renato Diniz, Nabor C. Mendonça · IEEE Software · 2009
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.