Static Architecture-Conformance Checking: An Illustrative Overview

  • Authors:
  • Leonardo Passos;Ricardo Terra;Marco Tulio Valente;Renato Diniz;Nabor das Chagas Mendonca

  • Affiliations:
  • Federal University of the Jequitinhonha and Mucuri Valleys, Brazil;Federal University of Minas Gerais, Brazil;Federal University of Minas Gerais, Brazil;Squadra Technology, Brazil;University of Fortaleza, Brazil

  • Venue:
  • IEEE Software
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.