]. A. Beugnard, J. Jézéquel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

V. X. Tran and H. Tsuji, A Survey and Analysis on Semantics in QoS for Web Services, 2009 International Conference on Advanced Information Networking and Applications, pp.379-385, 2009.
DOI : 10.1109/AINA.2009.43

S. Frølund and J. Koistinen, Quality of services specification in distributed object systems design, Procs. of 4th Conf. on Object-Oriented Technologies and Systems, pp.179-202, 1998.

A. Keller and H. Ludwig, The wsla framework: Specifying and monitoring service level agreements for web services, Journal of Network and Systems Management, vol.11, issue.1, pp.57-81, 2003.
DOI : 10.1023/A:1022445108617

S. Röttger and S. Zschaler, CQML+:E n h a n c e m e n t st oC Q M L ,i n :P r o c s .o f1 s tI n t l .W o r k s h o po nQ u ality of Service in Component-Based Software Engineering, pp.43-56, 2003.

S. Becker, Quality of Service Modeling Language, Dependability Metrics, pp.43-47, 2008.
DOI : 10.1007/978-3-540-68947-8_7

C. Braga, F. Chalub, and A. Sztajnberg, A Formal Semantics for a Quality of Service Contract Language, Electronic Notes in Theoretical Computer Science, vol.203, issue.7, pp.103-120, 2009.
DOI : 10.1016/j.entcs.2009.03.029

A. Cansado, C. Canal, G. Salaün, and J. Cubo, A formal framework for structural reconfiguration of components under behavioural adaptation, Procs. of the 6th Intl, ENTCS, vol.263, pp.95-110, 2009.

P. Collet, R. Rousseau, T. Coupaye, and N. Rivierre, A Contracting System for Hierarchical Components, Procs. of 8th Intl. Symp. of Component-Based Software Engineering, pp.187-202, 2005.
DOI : 10.1007/11424529_13

H. Chang and P. Collet, Patterns for Integrating and Exploiting Some Non-Functional Properties in Hierarchical Software Components, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), pp.83-92, 2007.
DOI : 10.1109/ECBS.2007.59

J. Y. Lee, J. W. Lee, D. W. Cheun, and S. D. Kim, A Quality Model for Evaluating Software-as-a-Service in Cloud Computing, 2009 Seventh ACIS International Conference on Software Engineering Research, Management and Applications, pp.261-266, 2009.
DOI : 10.1109/SERA.2009.43

M. Comuzzi and B. Pernici, A framework for QoS-based Web service contracting, ACM Transactions on the Web, vol.3, issue.3, pp.1-1052, 2009.
DOI : 10.1145/1541822.1541825

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 1998.

M. Léger, T. Ledoux, and T. Coupaye, Reliable Dynamic Reconfigurations in a Reflective Component Model, Procs. of 13th Intl. Symp. of Component-Based Software Eng.,volume6092ofLNCS, pp.74-92, 2010.
DOI : 10.1007/978-3-642-13238-4_5

G. Delaval and É. Rutten, Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, Procs. of 13th Intl. Symp. Component-Based Software Engineering, pp.93-112
DOI : 10.1007/978-3-642-13238-4_6

L. Zeng, B. Benatallah, A. H. Ngu, M. Dumas, J. Kalagnanam et al., QoS-aware middleware for Web services composition, QoS-Aware Middleware for Web Services Composition, pp.311-327, 2004.
DOI : 10.1109/TSE.2004.11

G. Tamura, R. Casallas, A. Cleve, and L. Duchien, QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs, LNCS, vol.14, issue.3, pp.34-52, 2011.
DOI : 10.1007/978-3-540-88871-0_40
URL : https://hal.archives-ouvertes.fr/inria-00525438

N. Villegas, H. Muller, G. Tamura, L. Duchien, and R. Casallas, A framework for evaluating quality-driven self-adaptive software systems, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.80-89, 2011.
DOI : 10.1145/1988008.1988020
URL : https://hal.archives-ouvertes.fr/inria-00578337

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

L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice, 2003.

P. Kruchten, H. Obbink, and J. Stafford, The Past, Present, and Future for Software Architecture, IEEE Software, vol.23, issue.2, pp.22-30, 2006.
DOI : 10.1109/MS.2006.59

F. Buschmann, K. Henney, and D. Schmidt, Pattern-Oriented Software Architecture: A Pattern Language for Distributed Computing, 2007.

P. Clements and M. Shaw, "The Golden Age of Software Architecture" Revisited, IEEE Software, vol.26, issue.4, pp.70-72, 2009.
DOI : 10.1109/MS.2009.83

C. A. Gunter, Semantics of Programming Languages: Structures and Techniques, 1992.

M. Barbacci, M. H. Klein, T. A. Longstaff, and C. B. , W e i n s t o c k, 1995.

J. Ramachandran, Designing Security Architecture Solutions, 2002.

C. Dougherty, K. Sayre, R. C. Seacord, D. Svoboda, and K. Togashi, Secure Design Patterns, 2009.

M. Kircher and P. Jain, Pattern-Oriented Software Architecture: Patterns for Resource Management, 2004.

W. Zeng, X. Zhuang, and J. Lan, Network friendly media security: Rationales, solutions, and open issues, Procs. of the 2004 Intl. Conf. on Image Processing (ICIP), pp.565-568, 2004.

S. Krakowiak, Middleware architecture with patterns and frameworks, 2009.

R. De-lemos, H. Giese, H. A. Müller, M. Shaw, J. Andersson et al., G o r l a ,V .G r a s s i ,P .I n v e r a r d i ,G .K a r s a i Software Engineering for Self-Adaptive Systems: AS e c o n dR e se a r c hR o a d ma p , i n :R .d eLe mo s,H .G i e se, Software Engineering for Self-Adaptive Systems 2, pp.1-32, 2013.

G. Taentzer, AGG: A Graph Transformation Environment for Modeling and Validation of Software, in: Procs. of Applications of Graph Transformation with Industrial Relevance, LNCS, vol.3062, pp.446-453

H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer, Fundamentalso fA l g e b r a i cG r a p hT r a n s f o r m a t i o n ,S p r i n g e r -V e r l a g, 2009.

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction toA u t o m a t aT h e o r, 2006.

M. Colombo, E. Di-nitto, and M. Mauri, SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules, Intl. Conf. on Service-Oriented Computing, pp.191-202, 2006.
DOI : 10.1007/11948148_16

A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation, and Compiling, 1972.

R. Heckel, J. M. Küster, and G. Taentzer, Confluence of Typed Attributed Graph Transformation Systems, Proceedings of the First International Conference on Graph Transformation, ICGT '02, pp.161-176, 2002.
DOI : 10.1007/3-540-45832-8_14

H. Ehrig, U. Prange, and G. Taentzer, Fundamental theory fort y p e da t t r i b u t e dg r a p ht r a n s f o r m a t i o n , i n : P r o c .o f ICGT'04, pp.161-177

A. Bucchiarone, P. Pelliccione, C. Vattani, and O. Runge, Self-Repairing systems modeling and verification using AGG, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.181-190, 2009.
DOI : 10.1109/WICSA.2009.5290804

H. Ehrig, C. Ermel, O. Runge, A. Bucchiarone, and P. Pelliccione, Formal Analysis and Verification of Self-Healing Systems, LNCS, vol.6013, pp.139-153, 2010.
DOI : 10.1007/978-3-642-12029-9_10

G. Tamura, QoS-CARE: A Reliable System for Preserving QoS Contracts through Dynamic Reconfiguration, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00713345

R. Floyd, Assigning Meaning to Programs, Proc. of Symposium on Applied Mathematics, pp.19-32, 1967.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

H. J. Goldsby and B. H. Cheng, Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty, Procs. of 11th Intl. Conf. on Model Driven Engineering Languages and Systems, pp.568-583, 2008.
DOI : 10.1007/978-3-540-87875-9_40

D. Sykes, W. Heaven, J. Magee, and J. Kramer, Exploiting non-functional preferences in architectural adaptation for self-managed systems, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.431-438, 2010.
DOI : 10.1145/1774088.1774180

S. Cheng, D. Garlan, and B. Schmerl, Architecture-baseds e l f -a d a p t a t i o ni nt h ep r e s e n c eo fm u l t i p l eo b j e c t i v e s ,i n: Procs. of, Intl. Workshop on Self-Adaptation and Self-Managing Systems, pp.2-8, 2006.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The Fractal Component Model and its Support in Java, Software Practice & Exper, pp.36-1257, 2006.

P. Hn?tynka and F. , Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of CBSE 2006, pp.352-359, 2006.
DOI : 10.1007/11783565_27

J. Hadad, M. Manouvrier, and M. Rukoz, TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition, IEEE Transactions on Services Computing, vol.3, issue.1, pp.73-85, 2010.
DOI : 10.1109/TSC.2010.5

J. L. Fiadeiro and A. Lopes, A model for dynamic reconfiguration in service-oriented architectures, Procs. of 4th European Conference on Software Architecture, pp.70-85, 2010.