A. Analyzer and W. Site, Accessible at: http://alloy

T. Abdellatif, J. Kornas, and J. B. Stefani, J2EE Packaging, Deployment and Reconfiguration Using a General Component Model, Component Deployment , 3rd International Working Conference, CD 2005, 2005.
DOI : 10.1007/11590712_11

L. Barbosa and J. Oliveira, State-based Components Made Generic, Electronic Notes in Theoretical Computer Science, vol.82, issue.1, 2003.
DOI : 10.1016/S1571-0661(04)80631-5

L. S. Barbosa, S. Meng, B. K. Aichernig, and N. Rodrigues, On the Semantic of Componentware: A Coalgebraic Perspective, of Component-Based Software Development, chapter 3, 2006.

J. Barwise and L. Moss, Vicious Circles, volume 60 of CSLI Lecture Notes. CSLI Publications ? Center for the Study of Language and Information, 1996.

Y. Bertot and P. Casteran, Interactive Theorem Proving and Program Development ? Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

S. Bouchenak, F. Boyer, S. Krakowiak, D. Hagimont, A. Mos et al., Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters, 24th IEEE Symposium on Reliable Distributed Systems, 2005.

S. Bouchenak, N. De-palma, D. Hagimont, and C. Taton, Autonomic Management of Clustered Applications, 2006 IEEE International Conference on Cluster Computing, 2006.
DOI : 10.1109/CLUSTR.2006.311842
URL : https://hal.archives-ouvertes.fr/hal-00684406

E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, and J. B. Stefani, The Fractal Component Model and its Support in Java. Software -Practice and Experience, pp.11-12, 2006.

E. Bruneton, T. Coupaye, and J. B. Stefani, The Fractal Component Model. ObjectWeb Consortium, 2004.

D. Caromel, A. Di-costanzo, and C. Delbé, Peer-to-Peer and fault-tolerance: Towards deployment-based technical services, Future Generation Computer Systems, vol.23, issue.7, 2007.
DOI : 10.1016/j.future.2007.01.006
URL : https://hal.archives-ouvertes.fr/inria-00001238

B. Claudel, N. De-palma, R. Lachaize, and D. Hagimont, Self-protection for Distributed Component-Based Applications, Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, number 4280 in LNCS, 2006.
DOI : 10.1007/978-3-540-49823-0_13
URL : https://hal.archives-ouvertes.fr/hal-00689149

P. C. David, M. Léger, H. Grall, T. Ledoux, and T. Coupaye, A Multi-stage Approach for Reliable Dynamic Reconfigurations of Component-Based Systems, 8th IFIP Int. Conf. Distributed Applications and Interoperable Systems, 2008.
DOI : 10.1007/11494713_1
URL : https://hal.archives-ouvertes.fr/hal-00424057

A. Flissi and P. Merle, A Generic Deployment Framework for Grid Computing and Distributed Applications, OTM Confederated International Conferences, Grid computing, high performAnce and Distributed Applications, 2006.
DOI : 10.1007/11914952_26
URL : https://hal.archives-ouvertes.fr/hal-00156207

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

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

D. Jackson and K. J. Sullivan, COM Revisited: Tool-Assisted Modelling of an Architectural Framework, In ACM SIGSOFT Symp. on Foundations of Soft. Eng. (FSE, 2000.

K. K. Lau and Z. Wang, Software Component Models, IEEE Trans. Software Eng, vol.33, issue.10, 2007.

G. Leavens and M. Sitaraman, Foundations of Component-Based Systems, 2000.

S. Meng, B. K. Aichernig, L. S. Barbosa, and Z. Naixiao, A Coalgebraic Semantic Framework for Component-based Development in UML, Electronic Notes in Theoretical Computer Science, vol.122, 2005.
DOI : 10.1016/j.entcs.2004.06.051

S. Meng and L. S. Barbosa, Components as coalgebras: The refinement dimension, Theoretical Computer Science, vol.351, issue.2, 2006.
DOI : 10.1016/j.tcs.2005.09.072

L. Seinturier, N. Pessemier, L. Duchien, and T. Coupaye, A Component Model Engineered with Components and Aspects, Proceedings of the 9th International SIGSOFT Symposium on Component-Based Software Engineering (CBSE'06), 2006.
DOI : 10.1007/11783565_10
URL : https://hal.archives-ouvertes.fr/inria-00126350

M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, 1996.

S. Sicard, F. Boyer, and N. Palma, Using components for architecture-based management, Proceedings of the 13th international conference on Software engineering , ICSE '08, 2008.
DOI : 10.1145/1368088.1368103

M. Simonot and M. Aponte, Modélisation formelle du contrôle en Fractal, ARA REVE Project Deliverable 2.3, CNAM-CEDRIC, 2007.

K. J. Sullivan, M. Marchukov, and J. Socha, Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model INRIA Centre de recherche INRIA Grenoble ? Rhône-Alpes 655, IEEE Trans. Software Eng, vol.25, issue.4, 1999.