Architectural Conformation Using Dependency Constraints between Modules

• Ricardo Terra PUC Minas
• Marco Túlio Valente PUC Minas / UFMG

Abstract

In this master dissertation we have proposed an approach that allows software architects to restrict the spectrum of dependencies that can be established between the modules of object-oriented systems. The ultimate goal is to provide means to detect structural dependencies that are indicators of architectural erosion. The proposed approach has been successfully applied to a real-world human resource management system.

References

P. Clements and M. Shaw. The golden age of software architecture revisited. IEEE Software, 26(4):70–72, 2009.

M. Eichberg, S. Kloppenburg, K. Klose, and M. Mezini. Defining and continuous checking of structural program dependencies. In 30th International Conference on Software Engineering (ICSE), pages 391–400, 2008.

D. Hou and H. J. Hoover. Using SCL to specify and check design intent in source code. IEEE Transactions on Software Engineering, 32(6):404–423, 2006.

J. Knodel and D. Popescu. A comparison of static architecture compliance checking approaches. In 6th Working IEEE/IFIP Conference on Software Architecture (WICSA), page 12, 2007.

K. Mens, A. Kellens, F. Pluquet, and R. Wuyts. Co-evolving code and design with intensional views: A case study. Computer Languages, Systems & Structures, 32(2-3):140–156, 2006.

G. Murphy, D. Notkin, and K. Sullivan. Software reflexion models: Bridging the gap between source and high-level models. In 3rd Symposium on Foundations of Software Engineering (FSE), pages 18–28, 1995.

L. Passos, R. Terra, R. Diniz, M. T. Valente, and N. das Chagas Mendonca. Static architecture conformance checking – an illustrative overview. IEEE Software, 2010. To appear.

D. E. Perry and A. L. Wolf. Foundations for the study of software architecture. Software Engineering Notes, 17(4):40–52, 1992.

R. Terra and M. T. Valente. Towards a dependency constraint language to manage software architectures. In Second European Conference on Software Architecture (ECSA), volume 5292 of Lecture Notes in Computer Science, pages 256–263. Springer, 2008.

R. Terra and M. T. Valente. Verificação estática de arquiteturas de software utilizando restrições de dependência. In II Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software (SBCARS), pages 1–14, 2008.

R. Terra and M. T. Valente. A dependency constraint language to manage object-oriented software architectures. Software: Practice and Experience, 39(12):1073–1094, 2009.