F. André, J. Buisson, and J. L. Pazat, Dynamic adaptation of parallel and distributed components on grid environments, Conclusion de validation Quatrième partie Conclusion et perspectives Perspectives Bibliographie [ABP + 03], 2003.

[. André, J. Buisson, and J. Pazat, Dynamic Adaptation of Parallel Codes: Toward Self-Adaptable Components for the Grid, 2005.
DOI : 10.1007/0-387-23352-0_9

C. [. Aldrich, D. Chambers, and . Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002.
DOI : 10.1145/581339.581365

C. [. Aldrich, D. Chambers, and . Notkin, Architectural Reasoning in ArchJava, ECOOP 2002?Object-Oriented Programming, pp.185-193, 2006.
DOI : 10.1007/3-540-47993-7_15

]. G. Agh85 and . Agha, Actors : a model of concurrent computation in distributed systems, 1985.

]. C. Ak03a, T. Atkinson, and . Kuhne, Model-driven development : a metamodeling foundation. Software, IEEE, vol.20, issue.5, pp.36-41, 2003.

]. C. Ak03b, T. Atkinson, and . Kuhne, Model-driven development : a metamodeling foundation, Software IEEE, vol.20, issue.5, pp.36-41, 2003.

A. S. Alliance, Osgi service platform, release 3, 2003.

V. Agrawal, T. Prabhakaran, J. D. Wobber, M. Davis, R. Manasse et al., Design tradeoffs for SSD performance, 2008.

R. [. Armstrong, C. Virding, M. Wikström, and . Williams, Concurrent programming in ERLANG, 1996.

. [. Blohm, J. J. Sap-ag, A. C. Dubray, and . Interface21, Service component architecture, 2005.

]. O. Bar05 and . Barais, Construire et ma?triser l'evolution d'une architecture logicielle a base de composants, 2005.

G. Boulinier, G. Boulinier, G. [. Blair, G. Bencomo, R. Blair et al., Genie : a domain-specific modeling tool for the generation of adaptive and reflective middleware families Summary of the workshop models@ run. time at models 2006. Models in Software Engineering Models@ run.time Modeling heterogeneous real-time components in bip, Les polynésiens et la navigation astronomique. Journal de la Société des océanistes 6th OOPSLA Workshop on Domain-Specific Modeling. Citeseer Software Engineering and Formal Methods Fourth IEEE International Conference on Bracha and W. Cook. Mixin-based inheritance ACM SIGPLAN Notices, pp.275-284, 1972.

A. Blouin, B. Combemale, B. Baudry, O. B. , E. Bruneton et al., Modeling model slicers The fractal component model and its support in java : Experiences with auto-adaptive and reconfigurable systems Mpj express : towards thread safe java hpc Communication services as components for telecommunication applications Fast planning through planning graph analysis, ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems Cluster Computing IEEE International Conference on Proc. 14th European Conference on Object- Oriented Programming Software Engineering ICSE'08. ACM/IEEE 30th International Conference onBGL + 06] R. Baldoni, R. Guerraoui, R. Levy, V. Quema, and S. Piergiovanni. Unconscious eventual consistency with gossips. Stabilization, Safety, and Security of Distributed Systems, pp.62-761257, 1997.

R. [. Bobrow, J. L. Gabriel, and . White, Clos in context-the shape of the design space. Object Oriented Programming : The CLOS Perspective, pp.29-61, 1993.

P. [. Bures, F. Hnetynka, and . Plasil, SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006.
DOI : 10.1109/SERA.2006.62

. Bhp-+-07-]-t, P. Bures, F. Hnetynka, J. Plasil, O. Klesnil et al., Runtime support for advanced component concepts, Software Engineering Research, Management & Applications SERA 2007. 5th ACIS International Conference on, pp.337-345, 2007.

[. Jr, Crud matrices for detailed object oriented design, Journal of Computing Sciences in Colleges, vol.18, issue.2, pp.306-322, 2002.

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

J. [. Bartel, Y. Klein, M. Le-traon, and . Monperrus, Dexpler, Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP '12, pp.27-38, 2012.
DOI : 10.1145/2259051.2259056
URL : https://hal.archives-ouvertes.fr/hal-00697421

H. [. Becker, R. Koziolek, and . Reussner, Model-Based performance prediction with the palladio component model, Proceedings of the 6th international workshop on Software and performance , WOSP '07, pp.54-65, 2007.
DOI : 10.1145/1216993.1217006

H. [. Becker, R. Koziolek, and . Reussner, The Palladio component model for model-driven performance prediction, Journal of Systems and Software, vol.82, issue.1, pp.3-22, 2009.
DOI : 10.1016/j.jss.2008.03.066

A. [. Bellifemine, G. Poggi, and . Rimassa, Jade?a fipa-compliant agent framework, Proceedings of PAAM, p.33, 1999.

. [. Baldoni, Fundamentals of distributed computing, IEEE Distributed Systems Online, vol.3, issue.2, pp.1-18, 2002.

]. E. Bre00 and . Brewer, Towards robust distributed systems, Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pp.7-10, 2000.

P. [. Bencomo, G. Sawyer, P. Blair, and . Grace, Dynamically adaptive systems are product lines too : Using model-driven techniques to capture dynamic variability of adaptive systems, 2nd International Workshop on Dynamic Software Product Lines, p.40, 2008.

B. A. Cardenas, S. Amin, S. Sastry, C. Cetina, P. Giner et al., Séverine Sentilles, and Aneta Vulgarakis . A classification framework for component models Autonomic computing through reuse of variability models at runtime : The case of smart homes Using architectural style as a basis for system self-repair The multiway rendezvous An architecture for coordinating multiple self-management systems Concurrent control with " readers " and " writers Building reliable component-based software systems Introduction to algorithms, Distributed Computing Systems Workshops 28th International Conference on Proceedings of the 7th Conference on Software Engineering and Practice in Sweden Software Architecture WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on Liskov. Practical byzantine fault tolerance, pp.495-500, 1971.

R. [. Cheng, S. P. Riley, J. J. Kumar, -. Garcia, J. Diaconescu et al., A loop-free extended Bellman-Ford routing protocol without bouncing effect, IEEE International Conference on Wireless and Mobile ComputingDGR09] D. Donsez, K. Gama, and W. Rudametkin. Developing adaptable components using dynamic languages. In Software Engineering and Advanced Applications SEAA'09. 35th Euromicro Conference on, pp.224-236107, 1989.
DOI : 10.1145/75247.75269

]. E. Dij71 and . Dijkstra, Hierarchical ordering of sequential processes, Acta informatica, vol.1, issue.2, pp.115-138, 1971.

]. E. Dij01 and . Dijkstra, The structure of the" the"-multiprogramming. Classic Operating Systems : From Batch Processing to Distributed Systems, p.223, 2001.

. C. Dl-+-06-]-p, T. David, and . Ledoux, Safe dynamic reconfigurations of fractal architectures with fscript, Proceeding of Fractal CBSE Workshop, 2006.

. Dosgi, An architecture for instant replication, Supplement Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2009.

T. De, W. , and T. Holvoet, Design patterns for decentralised coordination in self-organising emergent systems, Engineering Self-Organising Systems, pp.28-49, 2007.

J. Estublier, I. A. Dieng, E. Simon, and D. Moreno-garcia, Opportunistic computing experience with the SAM platform, Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS '10, pp.1-7, 2010.
DOI : 10.1145/1808885.1808887
URL : https://hal.archives-ouvertes.fr/hal-00941828

R. [. Eugster, A. M. Guerraoui, L. Kermarrec, and . Massoulié, Epidemic information dissemination in distributed systems, Computer, vol.37, issue.5, pp.60-67, 2004.
DOI : 10.1109/MC.2004.1297243

R. [. Escoffier and . Hall, Dynamically Adaptable Applications with iPOJO Service Components, Software Composition, pp.113-128
DOI : 10.1007/978-3-540-77351-1_9

R. [. Escoffier, P. Hall, and . Lalanda, iPOJO: an Extensible Service-Oriented Component Framework, IEEE International Conference on Services Computing (SCC 2007), pp.474-481, 2007.
DOI : 10.1109/SCC.2007.74

]. D. Ehr10 and . Ehringer, The dalvik virtual machine architecture, 2010.

[. Erich, H. Richard, J. Ralph, and V. John, Design patterns : elements of reusable object-oriented software, 1995.

F. Fouquet, O. Barais, N. Plouzeau, J. Jézéquel, B. Morin et al., A dynamic component model for cyber physical systems, Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, CBSE '12, 2012.
DOI : 10.1145/2304736.2304759
URL : https://hal.archives-ouvertes.fr/hal-00713769

B. Fleurey, V. Dehlen, N. Bencomo, B. Morin, and J. M. , Modeling and Validating Dynamic Adaptation, Models in Software Engineering, pp.97-108, 2009.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/inria-00456535

. Fdp-+-12a-]-f, E. Fouquet, N. Daubert, O. Plouzeau, J. Barais et al., Kevoree : une approche model@ runtime pour les systèmes ubiquitaires, 2012.

E. Fouquet, N. Daubert, O. Plouzeau, J. Barais, J. Bourcier et al., Dissemination of Reconfiguration Policies on Mesh Networks, DAIS 2012, 2012.
DOI : 10.1007/978-3-642-30823-9_2
URL : https://hal.archives-ouvertes.fr/hal-00688707

A. [. Franklin and . Graesser, Is It an agent, or just a program?: A taxonomy for autonomous agents, Intelligent Agents III Agent Theories, Architectures, and Languages, pp.21-35, 1997.
DOI : 10.1007/BFb0013570

]. J. Fhs-+-06, S. Floch, E. Hallsteinsen, F. Stav, K. Eliassen et al., Using architecture models for runtime adaptability. Software, IEEE, vol.23, issue.2, pp.62-70, 2006.

]. C. Fid88 and . Fidge, Timestamps in message-passing systems that preserve the partial ordering, Proceedings of the 11th ACSC, pp.56-66, 1988.

]. F. Fip97 and . Fipa, specification part 2 : Agent communication language FIPA-Foundation for Intelligent Physical Agents, 1997.

]. A. Fkn-+-92, J. Finkelstein, B. Kramer, L. Nuseibeh, M. Finkelstein et al., Viewpoints : A framework for integrating multiple perspectives in system development1 : An extension to pddl for expressing temporal planning domains, International Journal of Software Engineering and Knowledge Engineering J. Artif. Intell. Res. (JAIR), vol.20, issue.01, pp.231-5761, 1992.

N. [. Fischer, M. S. Lynch, and . Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121

G. [. Fiege, F. C. Mühl, and . Gärtner, Modular event-based systems We gratefully acknowledge the work of the anonymous reviewers who provided helpful comments leading to significant improvements of the presentation, and Mira Mezini and Alejandro Buchmann for their contributions to the development of the scoping concept., The Knowledge Engineering Review, vol.17, issue.4, pp.359-388, 2002.
DOI : 10.1017/S0269888903000559

G. Fouquet, B. Nain, E. Morin, O. Daubert, N. Barais et al., An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements, Models 2012, 2012.
DOI : 10.1007/978-3-642-33666-9_7
URL : https://hal.archives-ouvertes.fr/hal-00714558

]. M. Fow04 and . Fowler, Inversion of control containers and the dependency injection pattern, 2004.

. [. Garrett, Ajax : A new approach to web applications, 2005.

S. [. Gustavsson and . Andler, Self-stabilization and eventual consistency in replicated real-time databases, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.105-107, 2002.
DOI : 10.1145/582128.582150

]. E. Gam95 and . Gamma, Design patterns : elements of reusable object-oriented software, 1995.

. Gar10 and . Gartner, Gartner says worldwide mobile phone sales grew 35 percent in third quarter 2010 ; smartphone sales increased 96 percent, 2010.

T. [. Ganek and . Corbi, The dawning of the autonomic computing era, IBM Systems Journal, vol.42, issue.1, pp.5-18, 2003.
DOI : 10.1147/sj.421.0005

D. Garlan, S. W. Cheng, A. C. Huang, B. Schmerl, and P. Steenkiste, Rainbow: architecture-based self-adaptation with reusable infrastructure, Computer, vol.37, issue.10, pp.3746-54, 2004.
DOI : 10.1109/MC.2004.175

S. [. Garlan, B. Cheng, and . Schmerl, Increasing System Dependability through Architecture-Based Self-Repair, pp.61-89, 2003.
DOI : 10.1007/3-540-45177-3_3

M. [. Guerraoui and . Fayad, OO distributed programming is not distributed OO programming, Communications of the ACM, vol.42, issue.4, pp.101-104, 1999.
DOI : 10.1145/299157.299179

N. [. Gilbert and . Lynch, Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, ACM SIGACT News, vol.33, issue.2, pp.51-59, 2002.
DOI : 10.1145/564585.564601

]. D. Glvb-+-03, P. Gay, R. Levis, M. Von-behren, E. Welsh et al., The nesc language : A holistic approach to networked embedded systems, In Acm Sigplan Notices, vol.38, pp.1-11, 2003.

M. [. Goodman, B. Morrison, . Eich, R. I. Javascript, J. Georgiadis et al., Self-organising software architectures for distributed systems, Proceedings of the first workshop on Self-healing systems, pp.33-38, 2002.

]. D. Gol89 and . Goldberg, Genetic algorithms in search, optimization, and machine learning, 1989.

D. [. Gokhale and . Schmidt, Optimizing a corba internet interorb protocol (iiop) engine for minimal footprint embedded multimedia systems. Selected Areas in Communications, IEEE Journal on, vol.17, issue.9, pp.1673-1706, 1999.

J. [. Ghosh, K. K. Sheehy, S. Thorup, and . Vinoski, Programming language impact on the development of distributed systems, Journal of Internet Services and Applications, vol.13, issue.1, pp.1-8, 2011.
DOI : 10.1007/s13174-011-0042-y

B. Ghosh, J. Sheehy, K. K. Thorup, and S. Vinoski, Programming language impact on the development of distributed systems, Journal of Internet Services and Applications, vol.13, issue.1, pp.1-8, 2012.
DOI : 10.1007/s13174-011-0042-y

C. John, R. N. Georgas, and . Taylor, Towards a knowledge-based approach to architectural adaptation management, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems, WOSS '04, pp.59-63, 2004.

]. R. Gue99 and . Guerraoui, What object-oriented distributed programming does not have to be, and what it may be, Informatik, vol.2, pp.3-8, 1999.

W. [. Heineman, Component-based software engineering : putting the pieces together, 2001.
DOI : 10.1007/b136248

P. [. Halbwachs, P. Caspi, D. Raymond, and . Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

K. [. Harris, I. Fraser, and . Pratt, A practical multi-word compareand-swap operation, Distributed Computing, pp.265-279, 2002.

M. [. Hunt, F. P. Konar, B. Junqueira, and . Reed, Zookeeper : Wait-free coordination for internet-scale systems, USENIX ATC, 2010.

M. [. Haller and . Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019
URL : http://doi.org/10.1016/j.tcs.2008.09.019

]. C. Hoa74 and . Hoare, Monitors : An operating system structuring concept, Communications of the ACM, vol.17, issue.10, pp.549-557, 1974.

F. [. Hn?tynka and . Plá?il, Dynamic reconfiguration and access to services in hierarchical component models. Component-Based Software Engineering, pp.352-359, 2006.

B. [. Hohpe and . Woolf, Enterprise integration patterns : Designing, building, and deploying messaging solutions, 2004.

]. D. Jac02 and . Jackson, Alloy : a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.11, issue.2, pp.256-290, 2002.

]. M. Jb06a, O. Jelasity, and . Babaoglu, T-man : Gossip-based overlay topology management. Engineering Self-Organising Systems, pp.1-15, 2006.

]. S. Jb06b, A. Jin, and . Bestavros, Small-world characteristics of internet topologies and implications on multicast scaling, Computer Networks, vol.50, issue.5, pp.648-666, 2006.

]. N. Jen00 and . Jennings, On agent-based software engineering, Artificial intelligence, vol.117, issue.2, pp.277-296, 2000.

A. [. Jelasity and . Kermarrec, Ordered Slicing of Very Large-Scale Overlay Networks, Sixth IEEE International Conference on Peer-to-Peer Computing (P2P'06), pp.117-124, 2006.
DOI : 10.1109/P2P.2006.25

[. Jelasity, A. Montresor, and O. Babaoglu, Gossip-based aggregation in large dynamic networks, ACM Transactions on Computer Systems, vol.23, issue.3, pp.219-252, 2005.
DOI : 10.1145/1082469.1082470

G. [. Jussien, X. Rochart, and . Lorca, The choco constraint programming solver, CPAIOR08 workshop on OpenSource Software for Integer and Contraint Programming OSSICP08, 2008.

M. Jelasity, S. Voulgaris, R. Guerraoui, A. M. Kermarrec, and M. Van-steen, Gossip-based peer sampling, ACM Transactions on Computer Systems, vol.25, issue.3, p.8, 2007.
DOI : 10.1145/1275517.1275520

H. [. Johnson, S. Vilhjalmsson, and . Marsella, Serious games for language learning : How much game, how much ai, Education : Supporting Learning through Intelligent and Socially Informed Technology, pp.306-313, 2005.

[. Johnson and B. Woolf, The type object pattern, 1997.

O. Jeffrey, D. M. Kephart, and . Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.

]. J. Keo03 and . Keogh, J2me : The complete reference, 2003.

. Khh-+-01-]-g, E. Kiczales, J. Hilsdale, M. Hugunin, J. Kersten et al., An overview of aspectj, ECOOP 2001?Object-Oriented Programming, pp.327-354, 2001.

K. Ko, C. Klues, W. Richter, B. Hofer, M. Kusy et al., Qiang Wang, Prabal Dutta, and Andreas Terzis. Low power or high performance ? a tradeoff whose time has come (and nearly gone, p.2012

]. C. Kru92 and . Krueger, Software reuse, ACM Computing Surveys (CSUR), vol.24, issue.2, pp.131-183, 1992.

A. Kermarrec and M. Van-steen, Gossiping in distributed systems, ACM SIGOPS Operating Systems Review, vol.41, issue.5, pp.2-7, 2007.
DOI : 10.1145/1317379.1317381

J. [. Kleppe, W. Warmer, and . Bast, MDA explained : the model driven architecture : practice and promise, 2003.

]. L. Lam78 and . Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

B. Lamport, Paxos made simple, ACM SIGACT News, vol.32, issue.4, pp.18-25, 2001.

]. E. Lee06a and . Lee, Cyber-physical systems-are computing foundations adequate, Position Paper for NSF Workshop On Cyber-Physical Systems : Research Motivation, Techniques and Roadmap, 2006.

]. E. Lee06b and . Lee, The problem with threads, Computer, vol.39, issue.5, pp.33-42, 2006.

]. E. Lee08 and . Lee, Cyber physical systems : Design challenges, Object Oriented Real-Time Distributed Computing (ISORC) 11th IEEE International Symposium on, pp.363-369, 2008.

M. Léger, T. Ledoux, and T. Coupaye, Reliable dynamic reconfigurations in the fractal component model, Proceedings of the 6th international workshop on Adaptive and reflective middleware held at the ACM/IFIP/USENIX International Middleware Conference, ARM '07, pp.1-6, 2007.
DOI : 10.1145/1376780.1376783

]. S. Ltb-+-07, F. Lin, G. S. Taiani, and . Blair, Gossipkit : A framework of gossip protocol family, Proceedings of the 5th MiNEMA Workshop (Middleware for Network Eccentric and Mobile Applications), pp.26-30, 2007.

S. Lin, F. Taïani, and G. S. Blair, Facilitating Gossip Programming with the GossipKit Framework, Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, DAIS'08, pp.238-252, 2008.
DOI : 10.1007/978-3-540-68642-2_19

]. F. Mat89 and . Mattern, Virtual time and global states of distributed systems. Parallel and Distributed Algorithms, pp.215-226, 1989.

S. Matougui and A. Beugnard, Two Ways of Implementing Software Connections Among Distributed Components, 2005.
DOI : 10.1007/11575801_5

]. B. Mbj-+-09a, O. Morin, J. Barais, F. Jezequel, A. Fleurey et al., Models@ run.time to support dynamic adaptation, Computer, issue.10, pp.4244-51, 2009.

]. B. Mbj-+-09b, O. Morin, J. M. Barais, F. Jézéquel, A. Fleurey et al., Models@ run. time to support dynamic adaptation, Computer, issue.10, pp.4244-51, 2009.

]. B. Mbnj09a, O. Morin, G. Barais, and J. M. Nain, Taming dynamically adaptive systems using models and aspects, Proceedings of the 31st International Conference on Software Engineering, pp.122-132, 2009.

B. Morin, O. Barais, G. Nain, and J. Jezequel, Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, pp.122-132, 2009.
DOI : 10.1109/ICSE.2009.5070514

]. D. Mgh-+-98, M. Mcdermott, A. Ghallab, C. Howe, A. Knoblock et al., Pddl-the planning domain definition language, 1998.

S. Malek, N. Medvidovic, and M. Mikic-rakic, An Extensible Framework for Improving a Distributed Software System's Deployment Architecture, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.73-100, 2012.
DOI : 10.1109/TSE.2011.3

. Mmr-+-10-]-r, P. Mélisson, D. Merle, R. Romero, L. Rouvoy et al., Reconfigurable run-time support for distributed service component architectures, Proceedings of the IEEE/ACM international conference on Automated software engineering, pp.171-172, 2010.

A. Montresor, Intelligent Gossip, 2008.
DOI : 10.1007/978-3-540-85257-5_1

]. B. Mor10a and . Morin, Leveraging Models from Design-time to Runtime to Support Dynamic Variability, 2010.

B. Morin, Leveraging Models from Design-time to Runtime to Support Dynamic Variability, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00538548

M. [. Marino and . Rowley, Understanding SCA (Service Component Architecture), 2010.

S. [. Mckinley, E. P. Sadjadi, B. H. Kasten, and . Cheng, Composing adaptive software, Computer, vol.37, issue.7, pp.56-64, 2004.
DOI : 10.1109/MC.2004.48

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

R. [. Montresor and . Zandonati, Absolute Slicing in Peer-to-peer Systems, 2008 IEEE International Symposium on Parallel and Distributed Processing, 2008.
DOI : 10.1109/IPDPS.2008.4536199

]. G. Nai11 and . Nain, EnTiMid : Un modele de composants pour integrer des objets communicants dans des applications a base de services, 2011.

. Nbf-+-09-]-g, O. Nain, R. Barais, J. M. Fleurquin, and . Jezequel, Entimid : un middleware aux services de la maison, RNTI L 4 CAL 2009 (3e Conference francophone sur les Architectures Logicielles), pp.59-72, 2009.

]. G. Ndbj08a, E. Nain, O. Daubert, and J. M. Barais, Using mde to build a schizophrenic middleware for home/building automation. Towards a Service-Based Internet, BIBLIOGRAPHIE, pp.49-61, 2008.

[. Nain, E. Daubert, O. Barais, and J. Jézéquel, Using MDE to Build a Schizophrenic Middleware for Home/Building Automation, Proceedings of the 1st European Conference on Towards a Service-Based Internet, ServiceWave '08, pp.49-61, 2008.
DOI : 10.1007/978-3-540-89897-9_5

. Nfg-+-06-]-l, P. Northrop, R. P. Feiler, J. Gabriel, R. Goodenough et al., Ultra-large-scale systems-the software challenge of the future, 2006.

. Nfm-+-10-]-g, F. Nain, B. Fouquet, O. Morin, and J. M. Barais, Integrating iot and ios with a component-based approach, Software Engineering and Advanced Applications (SEAA) 36th EUROMICRO Conference on, pp.191-198, 2010.

F. Viet-hoa-nguyen, N. Fouquet, O. Plouzeau, and . Barais, A Process for Continuous Validation of Self-Adapting Component Based Systems, 7th International Workshop on Models@run.time of the MODELS 2012 Conference, 2012.

B. [. Neumeyer, A. Robbins, A. Nair, and . Kesari, S4: Distributed Stream Computing Platform, 2010 IEEE International Conference on Data Mining Workshops, 2010.
DOI : 10.1109/ICDMW.2010.172
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.3588

. Ogt-+-99-]-p, M. M. Oreizy, R. N. Gorlick, D. Taylor, G. Heimhigner et al., An architecture-based approach to self-adaptive software. Intelligent Systems and Their Applications, IEEE, issue.3, pp.1454-62, 1999.

[. Parra, A. Cleve, X. Blanc, L. Duchienpet81, and ]. J. Peterson, Feature-Based Composition of Software Architectures, volume 6285 of Lecture Notes in Computer Science Petri net theory and the modeling of systems, p.290, 1981.

N. [. Pilaud, J. Halbwachs, and . Plaice, Lustre : A declarative language for programming synchronous systems, Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages, p.188, 1987.

[. Phung-khac, A. Beugnard, J. Gilliot, and M. Segarra, Model-driven development of component-based adaptive distributed applications, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.2186-2191, 2008.
DOI : 10.1145/1363686.1364208

]. D. Pri08, . S. Pritchett-[-psmr11-], A. Peter, D. Schpbach, T. Menzi et al., Base : An acid alternative. Queue Early experience with the barrelfish os and the single-chip cloud computer, Proceedings of the 3rd Intel Multicore Applications Research Community Symposium (MARC), pp.48-55, 2008.

. [. Raynal, Concurrent programming, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00922217

R. Rouvoy, P. Barone, Y. Ding, F. Eliassen, S. Hallsteinsen et al., MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments, Lecture Notes in Computer Science, vol.1, 2009.
DOI : 10.1007/978-3-540-76778-7_1

S. L. Rodrigues, J. Handurukande, R. Pereira, A. M. Guerraoui, and . Kermarrec, Adaptive gossip-based broadcast, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings., pp.47-56, 2003.
DOI : 10.1109/DSN.2003.1209915
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.2113

D. [. Smaragdakis and . Batory, Implementing layered designs with mixin layers, ECOOP'98?Object-Oriented Programming, pp.550-570, 1998.
DOI : 10.1007/BFb0054107

F. [. Steinberg, E. Budinsky, M. Merks, and . Paternostro, EMF : eclipse modeling framework, 2008.

B. [. Stevens, A. M. Fenner, and . Rudoff, Unix network programming, ACM SIGCOMM Computer Communication Review, vol.20, issue.2, 2004.
DOI : 10.1145/378570.378600

D. [. Szyperski, S. Gruntz, and . Murer, Component software : beyond object-oriented programming, 2002.

]. E. Sim11 and . Simon, Sam : un environnement d'exécution pour les applications à services dynamiques et hétérogènes, 2011.

. Smf-+-09a-]-l, P. Seinturier, D. Merle, N. Fournier, V. Dolet et al., Reconfigurable sca applications with the frascati platform, Services Computing SCC'09. IEEE International Conference on, pp.268-275, 2009.

P. Seinturier, D. Merle, N. Fournier, V. Dolet, J. Schiavoni et al., 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

B. Sykes, J. Magee, and J. Kramer, FlashMob, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.100-109, 2011.
DOI : 10.1145/1988008.1988023

. Smr-+-11-]-l, P. Seinturier, R. Merle, D. Rouvoy, V. Romero et al., A component-based middleware platform for reconfigurable service-oriented architectures. Software : Practice and Experience, pp.559-583, 2011.

N. [. Seinturier, L. Pessemier, T. Duchien, and . Coupaye, A component model engineered with components and aspects. Component-Based Software Engineering, pp.139-153, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00126350

M. [. Schmidt, H. Stal, F. Rohnert, and . Buschmann, Pattern-oriented software architecture : Patterns for concurrent and networked objects, 2000.

]. S. Sto09 and . Stolberg, Enabling agile testing through continuous integration AGILE '09, Agile Conference, pp.369-374, 2009.

]. H. Sut05 and . Sutter, The free lunch is over : A fundamental turn toward concurrency in software, Dr. Dobb's Journal, vol.30, issue.3, pp.202-210, 2005.

]. D. Syk10 and . Sykes, Autonomous architectural assembly and adaptation. PhD in computing, Imperial College of Science, Technology and Medicine- Department of Computing, 2010.

[. Taiani, Gossipkit web site, 2010.

S. [. Tan, L. C. Goddard, and . Perez, A prototype architecture for cyber-physical systems, ACM SIGBED Review, vol.5, issue.1, pp.1-2, 2008.
DOI : 10.1145/1366283.1366309

R. H. Thomas, A Majority consensus approach to concurrency control for multiple copy databases, ACM Transactions on Database Systems, vol.4, issue.2, pp.180-209, 1979.
DOI : 10.1145/320071.320076

. B. Ttp-+-95-]-d, M. M. Terry, K. Theimer, A. J. Petersen, M. J. Demers et al., Managing update conflicts in bayou, a weakly connected replicated storage system, ACM SIGOPS Operating Systems Review, issue.5, pp.29172-182, 1995.

]. J. Tur97 and . Turley, Atmel avr brings risc to 8-bit world, Microprocessor Report, vol.11, issue.9, 1997.

]. R. Vdwmh11, T. G. Van-der-wijngaart, W. Mattson, and . Haas, Light-weight communications on intel's single-chip cloud computer processor, ACM SIGOPS Operating Systems Review, vol.45, issue.1, pp.73-83, 2011.

V. A. Van-moorsel, Metrics for the internet age : Quality of experience and quality of business, Fifth International Workshop on Performability Modeling of Computer and Communication Systems, Arbeitsberichte des Instituts für Informatik, pp.26-31, 2001.

F. [. Van-ommering, J. Van-der-linden, J. Kramer, and . Magee, The Koala component model for consumer electronics software, Computer, vol.33, issue.3, pp.78-85, 2000.
DOI : 10.1109/2.825699

]. D. Whi94 and . Whitley, A genetic algorithm tutorial, Statistics and computing, vol.4, issue.2, pp.65-85, 1994.

]. D. Wsg-+-12, B. Weyns, V. Schmerl, S. Grassi, R. Malek et al., On patterns for decentralized control in self-adaptive systems. Software Engineering for Self-Adaptive Systems II, Lecture Notes in Computer Science, 2012.

J. Zhang and B. H. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.371-380, 2006.
DOI : 10.1145/1134285.1134337

J. Zhang, H. J. Goldsby, and B. H. Cheng, Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.161-172, 2009.
DOI : 10.1145/1509239.1509262

A. Acronyms and . Atomicity, Consistency, Isolation and Durability, p.40

.. Complexité-de-création-d-'un-grouptype, étant prêts pour l'écriture d'un Paxos), p.182