V. Alfred, J. D. Aho, and . Ullman, www.oracle.com/us/technologies/soa/index.html 13 https://cwiki.apache.org/TUSCANY/sca-java-2x-releases.html 14 http://www.fabric3.org 15 https://wiki.ow2.org/frascati 16 http://www.oasis-opencsa.org Bibliography [Aho and Ullman The theory of parsing, translation, and compiling, p.86, 1972.

. Andersson, Modeling Dimensions of Self-Adaptive Software Systems, Software Engineering for Self-Adaptive Systems, pp.27-47, 2009.
DOI : 10.1007/978-3-540-32259-7_1

. Appleby, Oceano-SLA based management of a computing utility, 2001 IEEE/IFIP International Symposium on Integrated Network Management Proceedings. Integrated Network Management VII. Integrated Management Strategies for the New Millennium (Cat. No.01EX470), pp.855-868, 2001.
DOI : 10.1109/INM.2001.918085

. Avizienis, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 0111.
DOI : 10.1109/TDSC.2004.2

. Bachmann, Technical Concepts of Component-Based Software Engineering, p.25, 2000.

. Barbacci, Quality attributes, pp.40-52, 1995.

G. Baresi, S. Baresi, and . Guinea, Self-Supervising BPEL Processes, IEEE Transactions on Software Engineering, vol.37, issue.2, pp.247-263, 2011.
DOI : 10.1109/TSE.2010.37

. Bass, Software Architecture in Practice, p.66, 2003.

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

. Beisiegel, Service component architecture, assembly model specification. Specification Version 1.0, Open Service Oriented Architecture Collaboration, pp.17-163, 2007.

. Beisiegel, Sca policy framework. Specification Version 1.0, Open Service Oriented Architecture Collaboration, p.29, 2007.

]. Bell, Service-Oriented Modeling: Service Analysis, Design, and Architecture, p.163, 2008.
DOI : 10.1002/9781119198864

. Bentancour, WebSphere Application Server V8: Administration and Configuration Guide, p.30, 2011.

. Beugnard, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

. Bosch, Design and Use of Software Architectures: Adopting and Evolving a Product- Line Approach, p.30, 2000.

. Braga, 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

]. H. Sander-bruggink, Towards a Systematic Method for Proving Termination of Graph Transformation Systems, Electronic Notes in Theoretical Computer Science, vol.213, issue.1, pp.23-38, 0115.
DOI : 10.1016/j.entcs.2008.04.072

. Bruneton, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006.
DOI : 10.1002/spe.767

. Bucchiarone, 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

. Buschmann, Pattern- Oriented Software Architecture: A Pattern Language for Distributed Computing (Wiley Software Patterns Series), pp.66-74, 2007.

. Candea, Improving availability with recursive microreboots: a soft-state system case study, Performance Evaluation, vol.56, issue.1-4, pp.213-248, 2004.
DOI : 10.1016/j.peva.2003.07.007

. Cansado, A formal framework for structural reconfiguration of components under behavioural adaptation. Procs. of the 6th Intl, ENTCS, vol.263, issue.1, pp.95-110, 2009.

P. Caprarescu, D. Caprarescu, and . Petcu, A Self-Organizing Feedback Loop for Autonomic Computing, 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, pp.126-131, 2009.
DOI : 10.1109/ComputationWorld.2009.21

. Cardellini, Qos-driven runtime adaptation of service oriented architectures, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.131-140, 2009.
DOI : 10.1145/1595696.1595718

C. Chang, P. Chang, and . Collet, Compositional patterns of nonfunctional properties for contract negotiation, JSW, vol.2, issue.2, pp.52-63, 2007.

C. Chang, P. Chang, and . 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

. Cheng, Evaluating the effectiveness of the Rainbow self-adaptive system, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp.132-141, 2009.
DOI : 10.1109/SEAMS.2009.5069082

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

. Collet, 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

. Collet, Composite Contract Enforcement in Hierarchical Component Systems, 6th Intl. Symp. on Software Composition (SC), pp.18-33, 2007.
DOI : 10.1007/978-3-540-77351-1_3

URL : https://hal.archives-ouvertes.fr/hal-01334910

. Colombo, 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

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

. Dougherty, Secure Design Patterns, pp.74-169, 2009.

C. Dowling, V. Dowling, and . Cahill, Self-managed decentralised systems using K-components and collaborative reinforcement learning, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems , WOSS '04, pp.39-43, 2004.
DOI : 10.1145/1075405.1075413

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

H. Dumont, Dumont and M. Huzmezan. Concepts, methods and techniques in adaptive control, The 2002 American Control Conference, pp.1137-1150, 2002.

. Ehrig, Fundamental Theory for Typed Attributed Graph Transformation, Proc. of ICGT'04, pp.161-177, 2004.
DOI : 10.1007/978-3-540-30203-2_13

. Ehrig, Dániel Varró, and Szilvia Varró-Gyapay. Termination Criteria for Model Transformation, Procs. of 8th Intl. Conf. Fundamental Approaches to Software Engineering, pp.49-63, 2005.

. Ehrig, Fundamentals of Algebraic Graph Transformation, pp.68-167, 2009.

. Ehrig, Formal Analysis and Verification of Self-Healing Systems, Procs. of 13th Intl. Conf. Fundamental Approaches to Software Engineering, pp.139-153, 2010.
DOI : 10.1007/978-3-642-12029-9_10

. Filieri, Reliability Analysis of Component-Based Systems with Multiple Failure Modes Using Architecture Models for Runtime Adaptability, Procs. of 13th, pp.62-70, 2006.

]. Floyd, Assigning Meaning to Programs, Proc. of Symposium on Applied Mathematics, pp.19-32, 1967.
DOI : 10.1007/978-94-011-1793-7_4

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

. Garlan, Increasing System Dependability through Architecture-Based Self-Repair, Lecture Notes in Computer Science, pp.2677-2715, 2003.
DOI : 10.1007/3-540-45177-3_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Garlan, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.46-54, 2004.
DOI : 10.1109/MC.2004.175

. Giese, Engineering self-adaptive and self-managing systems, LNCS, vol.5527, pp.47-69, 2009.

. Goldsby, . Cheng, J. Heather, B. H. Goldsby, and . Cheng, Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty, Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, MoDELS '08, pp.568-583, 2008.
DOI : 10.1007/978-3-540-87875-9_40

O. González, Monitoring and Analysis of Workflow Applications: A Domain- Specific Language Approach, p.99, 2011.

. Grassi, Model-Driven Assessment of QoS-Aware Self-Adaptation, Software Engineering for Self-Adaptive Systems, pp.201-222, 2009.
DOI : 10.1007/s10270-006-0026-8

]. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

. Heckel, 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

. Hellerstein, Feedback Control of Computing Systems, pp.36-47, 2004.
DOI : 10.1002/047166880X

. Hellerstein, Research challenges in control engineering of computing systems, IEEE Transactions on Network and Service Management, vol.6, issue.4, pp.206-211, 2009.
DOI : 10.1109/TNSM.2009.04.090401

. Hermosillo, Using Complex Event Processing for Dynamic Business Process Adaptation, 2010 IEEE International Conference on Services Computing, pp.466-473, 2010.
DOI : 10.1109/SCC.2010.48

URL : https://hal.archives-ouvertes.fr/inria-00482578

P. Hn?tynka, Petr Hn?tynka and Franti?ek Plá?il Dynamic reconfiguration and access to services in hierarchical component models, Procs. of 2006 Intl. Symposium on Component-Based Software Engineering, pp.352-359, 2006.

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Hopcroft, Introduction to Automata Theory, Languages, and Computation, pp.14-167, 2006.

. Huang, Simulationbased Analysis of Middleware Service Impact on System Reliability: Experiment on Java Application Server, Journal of Systems and Software, vol.25, pp.1-11, 2011.

. Ibm-corporation, IBM Corporation. An Architectural Blueprint for Autonomic Computing, pp.35-37, 1924.

. Inverardi, Towards an assume-guarantee theory for adaptable systems, 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp.106-115, 2009.
DOI : 10.1109/SEAMS.2009.5069079

URL : https://hal.archives-ouvertes.fr/inria-00392562

. Jureta, A comprehensive quality model for service-oriented systems, Software Quality Journal, vol.21, issue.3, pp.65-98, 2009.
DOI : 10.1007/s11219-008-9059-2

. Kaddoum, Criteria for the evaluation of self-* systems, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, pp.29-38, 2010.
DOI : 10.1145/1808984.1808988

URL : https://hal.archives-ouvertes.fr/emse-00674842

L. Keller, H. Keller, and . 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

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

J. Kircher, P. Michael-kircher, and . Jain, Pattern-Oriented Software Architecture: Patterns for Resource Management, p.66, 2004.

S. Krakowiak, Middleware Architecture with Patterns and Frameworks. http://sardes.inrialpes.fr/~krakowia, pp.71-74, 2009.

M. Kramer, J. Kramer, and . Magee, Self-Managed Systems: an Architectural Challenge, Future of Software Engineering (FOSE '07), pp.259-268, 2007.
DOI : 10.1109/FOSE.2007.19

M. Kramer, J. Kramer, and . Magee, A Rigorous Architectural Approach to Adaptive Software Engineering, Journal of Computer Science and Technology, vol.145, issue.5, pp.183-188, 2009.
DOI : 10.1007/s11390-009-9216-5

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

. Kumar, Middleware for enterprise scale data stream management using utility-driven self-adaptive information flows, Cluster Computing, vol.28, issue.5, pp.443-455, 1951.
DOI : 10.1007/s10586-007-0040-9

. Lee, A Quality Model for Evaluating Software-as-a-Service in Cloud Computing, 2009 Seventh ACIS International Conference on Software Engineering Research, Management and Applications, 2009.
DOI : 10.1109/SERA.2009.43

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

. Lin, A Situation-Aware Approach for Dealing with Uncertain Context-Aware Paradigm, GLOBECOM 2009, 2009 IEEE Global Telecommunications Conference, pp.1880-1885, 2009.
DOI : 10.1109/GLOCOM.2009.5425910

. Litoiu, Hierarchical Model-Based Autonomic Control of Software Systems, Procs. of 2005 Workshop on Design and Evolution of Autonomic Application Software, DEAS '05, pp.1-7, 2005.

. Lu, Performance specifications and metrics for adaptive real-time systems, Real-Time Systems Symposium, p.55, 2000.

C. David and . Luckham, The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems, p.100, 2001.

. Ludwig, IBM Available Specification, Web Service Level Agreement (WSLA) Language Specification, p.31, 2003.

C. Alex and . Meng, On evaluating self-adaptive software, Procs. of 1st Intl. Workshop on Self-Adaptive Software, IWSAS' 2000, pp.65-74, 2000.

. Merle, A reflective platform for highly adaptive multi-cloud systems, Adaptive and Reflective Middleware on Proceedings of the International Workshop, ARM '11, pp.1-7, 2011.
DOI : 10.1145/2088876.2088879

URL : https://hal.archives-ouvertes.fr/inria-00628643

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Mukhija, Arun Mukhija and Martin Glinz Runtime adaptation of applications through dynamic recomposition of components, Proc. of 18th International Conference on Architecture of Computing Systems, pp.52-59, 2005.

. Müller, Visibility of control in adaptive systems, Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems , ULSSIS '08, pp.23-26, 2008.
DOI : 10.1145/1370700.1370707

. Müller, Autonomic Computing: Now you see it, now you don't?Design and evolution of autonomic software systems, LNCS, vol.5413, issue.38, pp.32-54, 2009.

. Murray, Feature - Future directions in control in an information-rich word, IEEE Control Systems Magazine, vol.23, issue.2, pp.20-33, 2003.
DOI : 10.1109/MCS.2003.1188769

B. Narendra, S. Kumpati, J. Narendra, and . Balakrishnan, Adaptive control using multiple models, IEEE Transactions on Automatic Control, vol.42, issue.2, pp.171-187, 1997.
DOI : 10.1109/9.554398

. Oreizy, An architecture-based approach to self-adaptive software, IEEE Intelligent Systems, vol.14, issue.3, pp.54-62, 1999.
DOI : 10.1109/5254.769885

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Papazoglou, Service-Oriented Computing: State of the Art and Research Challenges, Computer, vol.40, issue.11, pp.38-45, 2007.
DOI : 10.1109/MC.2007.400

. Parekh, Using control theory to achieve service level objectives in performance management. Real-Time Syst, pp.127-141, 1951.

]. Ramachandran, Designing Security Architecture Solutions, pp.74-169, 2002.

. Reinecke, Evaluating the adaptivity of computing systems, Performance Evaluation, vol.67, issue.8, pp.676-693, 2010.
DOI : 10.1016/j.peva.2009.12.001

. Reussner, Reliability prediction for component-based software architectures, Journal of Systems and Software, vol.66, issue.3, pp.241-252, 2003.
DOI : 10.1016/S0164-1212(02)00080-8

]. Romero, Context as a Resource: A Service-Oriented Approach for Context- Awareness, p.30, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00608838

R. Simone and S. Zschaler, CQML+: Enhancements to CQML, Procs. of 1st Intl. Workshop on Quality of Service in Component-Based Software Engineering, pp.43-56, 2003.

T. Salehie, Mazeiar Salehie and Ladan Tahvildari. Self-aDaptive Software: Landscape and Research Challenges, ACM Transactions on Autonomous and Adaptive Systems, vol.414, issue.112, pp.1-14, 2009.

. Seinturier, Reconfigurable SCA Applications with the FraSCAti Platform, 2009 IEEE International Conference on Services Computing, pp.268-275, 2009.
DOI : 10.1109/SCC.2009.27

URL : https://hal.archives-ouvertes.fr/inria-00397856

. Seinturier, A component-based middleware platform for reconfigurable service-oriented architectures, Software: Practice and Experience (SPE), pp.1-26, 2012.
DOI : 10.1002/spe.1077

URL : https://hal.archives-ouvertes.fr/inria-00567442

G. Shaw, D. Shaw, and . Garlan, Software Architecture: Perspectives on an Emerging Discipline, p.66, 1996.

]. Shaw, Beyond objects, ACM SIGSOFT Software Engineering Notes, vol.20, issue.1, pp.34-38, 1994.
DOI : 10.1145/225907.225911

. Sicard, Using components for architecture-based management, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.101-110, 2008.
DOI : 10.1145/1368088.1368103

C. Brian and . Smith, Reflection and Semantics in LISP, Procs. of 11th ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages, POPL '84, pp.23-35, 1984.

. Solomon, A real-time adaptive control of autonomic computing environments, Proceedings of the 2007 conference of the center for advanced studies on Collaborative research , CASCON '07, pp.124-136, 2007.
DOI : 10.1145/1321211.1321225

. Solomon, Business process adaptation on a tracked simulation model, Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research, CASCON '10, pp.184-198, 2010.
DOI : 10.1145/1923947.1923967

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

G. Taentzer, AGG: A??Graph Transformation Environment for Modeling and Validation of Software, Procs. of 2003 Applications of Graph Transformations with Industrial Relevance, pp.446-453, 2004.
DOI : 10.1007/978-3-540-25959-6_35

C. Tamura, G. Tamura, and A. Cleve, A Comparison of Taxonomies for Model Transformation Languages, Paradigma ? Revista Electrónica en Construcción de Software, pp.1-14, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00488765

. Tamura, QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs, Procs. of 7th Intl. Workshop on Formal Aspects of Component Software, pp.34-52, 2011.
DOI : 10.1007/978-3-540-88871-0_40

URL : https://hal.archives-ouvertes.fr/inria-00525438

. Tamura, Realizing QoS Contracts-Preservation through Dynamic Reconfiguration Based on Formal Models, Journal Science of Computer Programming (SCP) Article In Evaluation, vol.12, pp.1-30, 2011.

. Tamura, Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems, Software Engineering for Self-Adaptive Systems 2, p.18, 2012.
DOI : 10.1007/978-3-642-16599-3_18

URL : https://hal.archives-ouvertes.fr/hal-00709943

. Taylor, Architectural styles for runtime software adaptation, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.171-180, 2009.
DOI : 10.1109/WICSA.2009.5290803

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Tran, H. Tran, and . 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

. Villegas, Optimizing run-time SOA governance through context-driven SLAs and dynamic monitoring, 2011 International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, pp.1-10, 2011.
DOI : 10.1109/MESOCA.2011.6049036

. Villegas, 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

. Villegas, DYNAMICO: A Reference Model for Governing Control Objectives and Context Relevance in Self-Adaptive Software Systems In Software Engineering for Self-Adaptive Systems 2 On Interacting Control Loops in Self-Adaptive Systems, Procs. of 6th Intl. Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.73-202, 2011.

W. Dahm and W. Dahm, Technology Horizons: a Vision for Air Force Science & Technology During 2010-2030, p.164, 2010.

. Weyns, On decentralized self-adaptation, Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS '10, pp.84-93, 2010.
DOI : 10.1145/1808984.1808994

J. White, Simplifying autonomic enterprise java bean applications via modeldriven development: a case study, The Journal of Software and System Modeling, pp.601-615, 2005.
DOI : 10.1007/11557432_45

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Yacoub, A Scenario-Based Reliability Analysis Approach for Component-Based Software, IEEE Transactions on Reliability, vol.53, issue.4, pp.465-480, 2004.
DOI : 10.1109/TR.2004.838034

. Zeng, QoS-aware middleware for Web services composition, IEEE Transactions on Software Engineering, vol.30, issue.5, pp.311-327, 2004.
DOI : 10.1109/TSE.2004.11

. Zeng, Network Friendly Media Security: Rationales, Solutions, and Open Issues, Procs. of 2004 Intl. Conf. on Image Processing (ICIP), pp.565-568, 2004.

A. Figure, Machine à états pour le système de reconfiguration qui préserve un contrat de QoS. Dès la conception, le système débute dans un état de contrat-accompli. Les changements de contexte déclenchent les transitions (c'est-à-dire

. De-transition, en identifiant l'état cible à atteindre dans la situation du nouveau contexte, avec le prédicat de niveau de QoS correspondant et en garantissant l'ensemble de règles de reconfiguration. Cette fonction réalise un transition d'état, qui reconfigure la structure de l'application gérée