N. Aguirre and T. Maibaum, A temporal logic approach to the specification of reconfigurable component-based systems, Proceedings 17th IEEE International Conference on Automated Software Engineering,, p.271, 2002.
DOI : 10.1109/ASE.2002.1115028

R. J. Allen, A Formal Approach to Software Architecture, 1997.

J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger, A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems , WOSS '04, pp.28-33, 2004.
DOI : 10.1145/1075405.1075411

G. Coulson, G. Blair, P. Grace, F. Taiani, A. Joolia et al., A generic component model for building systems software, ACM Transactions on Computer Systems, vol.26, issue.1, pp.1-42, 2008.
DOI : 10.1145/1328671.1328672

V. C. De-paula, ZCL: A Formal Framework for Specifying Dynamic Software Architectures, 1999.

M. Endler and J. Wei, Programming generic dynamic reconfigurations for distributed applications, Proceedings of the International Workshop on Configurable Distributed Systems, pp.68-79, 1992.

I. Georgiadis, J. Magee, and J. Kramer, Self-organising software architectures for distributed systems, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.33-38, 2002.
DOI : 10.1145/582128.582135

A. Tadeu, A. Gomes, T. V. Batista, A. Joolia, and G. Coulson, Architecting Dynamic Reconfiguration in Dependable Systems Architecting Dependable Systems IV, pp.237-261, 2007.

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

D. Jackson and K. Sullivan, COM Revisited: Tool-Assisted Modelling of an Architectural Framework, Proceedings of the 8th ACM SIG- SOFT International Symposium on Foundations of Software Engineering, pp.149-158, 2000.

O. Jeffrey, . Kephart, M. David, and . Chess, The Vision of Autonomic Computing, Computer, vol.36, pp.41-50, 2003.

J. Soo, K. , and D. Garlan, Analyzing Architectural Styles with Alloy, ROSATEA '06: Proceedings of the ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, pp.70-80, 2006.

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 1997.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

P. Merle and J. Stefani, A formal specification of the Fractal component model in Alloy, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338987

C. Szyperski, Component Software: Beyond Object-Oriented Programming. Number 0-201-74572-0, 2002.