F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov et al., GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, pp.5-24, 2009.
DOI : 10.1007/s12243-008-0068-8

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

E. Bruneton, T. Coupaye, and S. J. , The fractal component model specification, 2004.

D. Caromel, L. Henrio, and B. Serpette, Asynchronous and deterministic objects, Proceedings of the 31st ACM SIGPLAN- SIGACT symposium on Principles of programming languages, pp.123-134, 2004.
DOI : 10.1145/964001.964012

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

T. Bures, P. Hnetynka, and F. Plasil, Sofa 2.0: Balancing advanced features in a hierarchical component model. Software Engineering Research, Management and Applications, Fourth International Conference on, pp.40-48, 2006.

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni et al., A component-based middleware platform for reconfigurable service-oriented architectures, Software: Practice and Experience, vol.2, issue.5, pp.559-583, 2012.
DOI : 10.1002/spe.1077

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

P. David, T. Ledoux, M. Léger, and T. Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, pp.45-63, 2009.
DOI : 10.1007/s12243-008-0073-y

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

B. Bertrand, B. D. Kohl, J. Bernholdt, D. Larson, and A. Sussman, Data Redistribution and Remote Method Invocation in Parallel Component Architectures, 19th IEEE International Parallel and Distributed Processing Symposium, 2005.
DOI : 10.1109/IPDPS.2005.159

C. Prez, T. Priol, and A. Ribes, A Parallel Corba Component Model for Numerical Code Coupling, IJHPCA, vol.17, issue.4, pp.417-429, 2003.

M. Aldinucci, H. Bouziane, M. Danelutto, and C. Prez, Stkm on Sca: A Unified Framework with Components, Workflows and Algorithmic Skeletons, Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference
DOI : 10.1007/978-0-387-09455-7_1

D. Gannon, S. Krishnan, L. Fang, G. Kandaswamy, Y. Simmhan et al., On Building Parallel & Grid Applications: Component Technology and Distributed Services, Cluster Computing, vol.28, issue.12, pp.271-277, 2005.
DOI : 10.1007/s10586-005-4094-2

M. Aldinucci, M. Danelutto, A. Paternesi, R. Ravazzolo, and M. Vanneschi, Building interoperable grid-aware assist applications via webservices. Parallel Computing: Current & Future Issues of High-End Computing, Proceedings of the International Conference ParCo, 2005.
DOI : 10.1007/11549468_84

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

A. Denis, C. Prez, and T. Priol, Achieving portable and efficient parallel CORBA objects, Concurrency and Computation: Practice and Experience, vol.23, issue.11, pp.891-909, 2003.
DOI : 10.1002/cpe.738

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

M. Malawski, D. Kurzyniec, and V. Sunderam, MOCCA - Towards a Distributed CCA Framework for Metacomputing, 19th IEEE International Parallel and Distributed Processing Symposium
DOI : 10.1109/IPDPS.2005.290

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

E. Bruneton, T. Coupaye, M. Leclercq, V. Quma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.1257-1284, 2006.
DOI : 10.1002/spe.767

H. Baumeister, F. Hacklinger, R. Hennicker, A. Knapp, and M. Wirsing, A Component Model for Architectural Programming, Electronic Notes in Theoretical Computer Science, vol.160, pp.75-96, 2006.
DOI : 10.1016/j.entcs.2006.05.015

P. Collet, T. Coupaye, H. Chang, L. Seinturier, and G. Dufrêne, Components and services : A marriage of reason
URL : https://hal.archives-ouvertes.fr/hal-01304199

K. Masek, P. Hnetynka, and T. Bures, Bridging the component-based and service-oriented worlds. Software Engineering and Advanced Applications, SEAA '09. 35th Euromicro Conference on, pp.47-54, 2009.

P. David, T. Ledoux, M. Léger, and T. Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, pp.45-63, 2009.
DOI : 10.1007/s12243-008-0073-y

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

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

J. Magee and J. Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, SIGSOFT '96, pp.3-14, 1996.

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

D. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000.
DOI : 10.1145/1925805.1925814

P. Hn?tynka and F. Plá?il, Dynamic Reconfiguration and Access to Services in Hierarchical Component Models, Proceedings of the 9th international conference on Component-Based Software Engineering, CBSE'06, pp.352-359, 2006.
DOI : 10.1007/11783565_27

L. Broto, D. Hagimont, P. Stolf, N. Depalma, and S. Temate, Autonomic management policy specification in Tune, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1658-1663, 2008.
DOI : 10.1145/1363686.1364080

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-1, 2008.
DOI : 10.1145/1328671.1328672

C. Tibermacine, D. Hoareau, and R. Kadri, Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software, Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, vol.4422, pp.140-154978, 2007.
DOI : 10.1007/978-3-540-71289-3_13

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

M. Parashar, H. Liu, Z. Li, V. Matossian, C. Schmidt et al., AutoMate: Enabling Autonomic Applications on the Grid, Cluster Computing, vol.45, issue.8???9, pp.161-174, 2006.
DOI : 10.1007/s10586-006-7561-5

A. Joolia, T. Batista, G. Coulson, and A. Gomes, Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pp.131-140, 2005.
DOI : 10.1109/WICSA.2005.42

P. David and T. Ledoux, An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components, Lecture Notes in Computer Science, vol.4089, pp.82-97, 2006.
DOI : 10.1007/11821946_6

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

J. Buisson, F. Andr, and J. Pazat, A framework for dynamic adaptation of parallel components. Parallel Computing: Current & Future Issues of High-End Computing International Conference ParCo, NIC Series Malaga Spain, vol.33, issue.65, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00498836

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

M. Danelutto, P. Kilpatrick, C. Montangero, and L. Semini, Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management, Lecture Notes in Computer Science, vol.7155, pp.128-138978, 2012.
DOI : 10.1007/978-3-642-29737-3_16

S. Gueye, N. Palma, and E. Rutten, Component-Based Autonomic Managers for Coordination Control, Lecture Notes in Computer Science, vol.7890, pp.75-89, 2013.
DOI : 10.1007/978-3-642-38493-6_6

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

T. Barros, A. Cansado, E. Madelaine, and M. Rivera, Model-checking Distributed Components: The Vercors Platform, S1571066107003829, proceedings of the Third International Workshop on Formal Aspects of Component Software, pp.3-16, 2006.
DOI : 10.1016/j.entcs.2006.09.028

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

R. Moreira, S. Blair, and E. Carrapatoso, Supporting adaptable distributed systems with formaware. Distributed Computing Systems Workshops, Proceedings. 24th International Conference on, pp.320-325, 2004.

M. Lger, T. Ledoux, and T. Coupaye, Reliable Dynamic Reconfigurations in a Reflective Component Model, Lecture Notes in Computer Science, vol.6092, pp.74-92978, 2010.
DOI : 10.1007/978-3-642-13238-4_5

R. Monroe, Capturing software architecture design expertise with armani, 2001.
DOI : 10.1145/243327.243616

N. Wang, D. Schmidt, O. Ryan, and C. , An Overview of the CORBA Component Model, 2001.

S. Sicard, F. Boyer, D. Palma, and N. , 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

E. Johnsen, O. Owe, and I. Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.23-66, 2006.
DOI : 10.1016/j.tcs.2006.07.031

M. Lienhardt, I. Lanese, M. Bravetti, D. Sangiorgi, G. Zavattaro et al., A component model for the abs language Proceedings of the 9th international conference on Formal Methods for Components and Objects, pp.165-183978, 2011.

L. Henrio, F. Kammller, and M. Rivera, An Asynchronous Distributed Component Model and Its Semantics, Lecture Notes in Computer Science, vol.12, issue.1, pp.159-179, 2008.
DOI : 10.1145/1456190.1456201

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

R. Lavender and D. Schmidt, Active object: an object behavioral pattern for concurrent programming. Pattern languages of program design 2, pp.483-499, 1996.

G. Agha, Actors: a model of concurrent computation in distributed systems, 1986.

. Halstead and R. Jr, MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

. Softw, Prepared using speauth.cls DOI: 10, Pract. Exper, 1002.

E. Mathias, V. Cavé, S. Lanteri, and F. Baude, Grid-Enabling SPMD Applications through Hierarchical Partitioning and a Component-Based Runtime, 15th Int. European Conference on Parallel and Distributed Computing, pp.691-703, 2009.
DOI : 10.1002/cpe.605

L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet et al., Grid Computing: Software Environments and Tools, chap. Programming, Deploying, Composing, for the Grid, 2006.

B. Charron-bost, F. Mattern, and G. Tel, Synchronous, asynchronous, and causally ordered communication, Distributed Computing, vol.18, issue.2, pp.173-191, 1996.
DOI : 10.1007/s004460050018

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

A. Cansado, L. Henrio, and M. E. , Transparent first-class futures and distributed component. International Workshop on Formal Aspects of Component Software (FACS'08), Electronic Notes in Theoretical Computer Science (ENTCS): Malaga, 2008.
DOI : 10.1016/j.entcs.2009.12.036

URL : http://doi.org/10.1016/j.entcs.2009.12.036

L. Henrio, F. Huet, and Z. Istvn, Multi-threaded Active Objects, LNCS, IFIP International Federation for Information Processing 15th International Conference on Coordination Models and Languages, pp.3-6, 2013.
DOI : 10.1007/978-3-642-38493-6_7

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

F. Baude, D. Caromel, L. Henrio, and P. Naoumenko, A flexible model and implementation of component controllers Making Grids Work, pp.31-43978, 2008.

L. Henrio and M. Rivera, Stopping safely hierarchical distributed components, Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance, CBHPC '08, 2008.
DOI : 10.1145/1456190.1456201

P. Horn, Autonomic computing: Ibm's perspective on the state of information technology, Computing Systems, vol.2007, pp.1-40, 2001.

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

C. Ruz, F. Baude, and B. Sauvan, Using Components to Provide a Flexible Adaptation Loop to Component-based SOA Applications, International Journal on Advances in Intelligent Systems Jul, vol.5, issue.1 2, pp.32-50, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01332285

M. Aldinucci, M. Danelutto, and P. Kilpatrick, Autonomic management of non-functional concerns in distributed & parallel application programming, 2009 IEEE International Symposium on Parallel & Distributed Processing, 2009.
DOI : 10.1109/IPDPS.2009.5161034

G. Gauvrit, E. Daubert, and F. Andr, SAFDIS: A Framework to Bring Self-Adaptability to Service-Based Distributed Applications, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications, pp.211-218, 2010.
DOI : 10.1109/SEAA.2010.25

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

F. Fouquet, E. Daubert, N. Plouzeau, O. Barais, J. Bourcier et al., Dissemination of Reconfiguration Policies on Mesh Networks, DAIS, Lecture Notes in Computer Science, vol.7272, pp.16-30, 2012.
DOI : 10.1007/978-3-642-30823-9_2

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

T. Bures, I. Gerostathopoulos, P. Hnetynka, J. Keznikl, M. Kit et al., DEECO, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, pp.81-90, 2013.
DOI : 10.1145/2465449.2465462

D. Ghosh, J. Sheehy, 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.23-30, 2012.
DOI : 10.1007/s13174-011-0042-y

P. Haller and M. 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

R. Hähnle, M. Helvensteijn, E. Johnsen, M. Lienhardt, D. Sangiorgi et al., Hats abstract behavioral specification: The architectural view. Formal Methods for Components and Objects, LNCS, vol.7542, pp.109-132, 2013.

J. Schäfer and A. Poetzsch-heffter, JCoBox: Generalizing Active Objects to Concurrent Components, ? Object-Oriented Programming, pp.275-299, 2010.
DOI : 10.1007/978-3-642-14107-2_13

T. Bures, M. Malohlava, and P. Hnetynka, Using dsl for automatic generation of software connectors. Composition-Based Software Systems, Seventh International Conference on, pp.138-147, 2008.

L. Henrio, F. Kammller, and B. Lutz, ASPfun : A typed functional active object calculus, Science of Computer Programming, vol.77, issue.7-8, pp.823-847, 2012.
DOI : 10.1016/j.scico.2010.12.008

E. Mathias and F. Baude, A Component-Based Middleware for Hybrid Grid/Cloud Computing Platforms, Concurrency and Computation: Practice and Experience, vol.24, issue.13, pp.1461-1477, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01332311

I. Filali, L. Pellegrino, F. Bongiovanni, F. Huet, and F. Baude, Modular P2P-Based Approach for RDF Data Storage and Retrieval, The Third International Conference on Advances in P2P Systems, pp.39-46, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00636408

F. Baude, F. Bongiovanni, L. Pellegrino, and V. Quéma, Requirement Specification for the Event Cloud Component

G. Nuno, L. Henrio, and M. E. , Bringing coq into the world of gcm distributed applications, International Journal of Parallel Programming -Special issue HLPP, 2013.

R. Boulifa, R. Halalai, L. Henrio, and M. E. , Verifying safety of fault-tolerant distributed components, International Symposium on Formal Aspects of Component Software, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00621264