G. Grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-grproxycomposite_m-len, Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool G:array[1..Max_Group] of bool val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType val:resultType vect:array[1..Max_Group] of resultType vect:array[1..Max_Group] of resultType vect:array[1..Max_Group] of resultType vect:array[1..Max_Group] of resultType vect:array[1..Max_Group] of resultType vect:array[1..Max_Group] of resultType vect:array[1..Max_Group] of resultType vect:array[1, ...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...) ?_Q_config_S1(...

M. Aldinucci, C. Bertolli, S. Campa, M. Coppola, M. Vanneschi et al., Autonomic Grid Components: the GCM Proposal and Self-optimising ASSIST Components, Joint Workshop on HPC Grid programming Environments and COmponents and Component and Framework Technology in High-Performance and Scientic Computing at HPDC'15, 2006.

R. Ameur-boulifa, R. Halalai, L. Henrio, and E. Madelaine, Verifying Safety of Fault-Tolerant Distributed Components, International Workshop on Formal Aspects of Component Software (FACS'11), 2011.
DOI : 10.1007/978-3-642-35743-5_17
URL : https://hal.archives-ouvertes.fr/inria-00621264

P. André, G. Ardourel, and C. Attiogbé, Adaptation for Hierarchical Components and Services, Electronic Notes in Theoretical Computer Science, vol.189, p.520, 2007.
DOI : 10.1016/j.entcs.2007.05.045

P. André, G. Ardourel, and C. Attiogbé, Composing Components with Shared Services in the Kmelia Model, 7th International Symposium on Software Composition, SC'08, 2008.
DOI : 10.1007/978-3-540-78789-1_9

C. Attiogbé, P. André, and G. Ardourel, Checking Component Composability, 5th International Symposium on Software Composition (ETAPS/SC'06, 2006.
DOI : 10.1007/11821946_2

T. Barros, R. Ameur-boulifa, A. Cansado, L. Henrio, and E. Madelaine, Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, p.2543, 2009.
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965

A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, p.4148, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

A. Basu, M. Gallien, C. Lesire, T. Nguyen, S. Bensalem et al., Incremental component-based construction and verication of a robotic system, ECAI 2008 -18th European Conference on Articial Intelligence Proceedings, volume 178 of Frontiers in Articial Intelligence and Applications, p.631635, 2008.

M. Beisiegel, H. Blohm, D. Booz, M. Edwards, and O. Hurley, SCA service component architecture, assembly model specication, 2007.

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verication for component-based systems and application, IET Software, vol.4, issue.3, 2010.

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, D-nder: A tool for compositional deadlock detection and verication, Computer Aided Verication, 21st International Conference, p.614619, 2009.

S. Bensalem, M. Bozga, T. Nguyen, and J. Sifakis, Compositional verication for component-based systems and application, IET Software, vol.4, issue.3, p.181193, 2010.

R. A. Boulifa, L. Henrio, and E. Madelaine, Behavioural models for group communications, WCSI-10: International Workshop on Component and Service Interoperability, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00493692

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The fractal component model and its support in java. Software Practice and Experience, special issue on Experiences with Auto-adaptive and Recongurable Systems, pp.11-12, 2006.

E. Bruneton, T. Coupaye, M. Leclercp, V. Quema, and J. B. Stefani, An open component model and its support in java The Fractal Component Model, 7th Int. Symp. on Component-Based Software Engineering (CBSE-7), 2004.

T. Bure², P. Hnetynka, and F. Plasil, SOFA 2.0: balancing advanced features in a hierarchical component model, Proceedings of SERA 2006, p.4048, 2006.

A. Cansado, L. Henrio, and E. Madelaine, Transparent rst-class futures and distributed component, International Workshop on Formal Aspects of Component Software (FACS'08), 2008.

A. Cansado and E. Madelaine, Specication and verication for grid component-based applications: From models to tools, FMCO, p.180203, 2008.

S. Frank, D. De-boer, E. Clarke, and . Johnsen, A complete guide to the future, Lecture Notes in Computer Science, vol.4421, p.316330, 2007.

J. Dedecker, T. Van-cutsem, S. Mostinckx, T. D. Hondt, and W. D. Meuter, Ambient-oriented programming in ambienttalk, Lecture Notes in Computer Science, vol.4067, p.230254, 2006.
DOI : 10.1007/11785477_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.3134

J. Eker, J. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, vol.91, issue.1, p.127144, 2003.
DOI : 10.1109/JPROC.2002.805829

F. Fernandes and J. Royer, The STSLib Project: Towards a Formal Component Model Based on STS, Electronic Notes in Theoretical Computer Science, vol.215, p.131149, 2008.
DOI : 10.1016/j.entcs.2008.06.025
URL : https://hal.archives-ouvertes.fr/hal-00416461

L. Henrio, F. Kammüller, and M. Rivera, An Asynchronous Distributed Component Model and Its Semantics, LNCS, vol.12, issue.1, p.159179, 2008.
DOI : 10.1145/1456190.1456201
URL : https://hal.archives-ouvertes.fr/inria-00435145

L. Henrio, F. Kammüller, and M. Khan, A Framework for Reasoning on Component Composition, Lecture Notes in Computer Science, vol.96, issue.1, 2009.
DOI : 10.1007/3-540-45949-9
URL : https://hal.archives-ouvertes.fr/inria-00490380

E. B. Johnsen, O. Owe, and I. C. 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

J. Kofron, Checking software component behavior using behavior protocols and spin, Proceedings of the 2007 ACM symposium on Applied computing , SAC '07, 2007.
DOI : 10.1145/1244002.1244326

P. Merle and J. Stefani, A formal specication of the Fractal component model in Alloy, 2008.

R. Milner, Communication and Concurrency, 1989.

. Object-management-group and . Inc, CORBA Component Model Specication, omg headquarters edition, 2006.

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002.
DOI : 10.1109/TSE.2002.1049404

J. Schafer and A. Poetzsch-heter, JCoBox: Generalizing Active Objects to Concurrent Components, ECOOP 2010Object-Oriented Programming, p.275299, 2010.
DOI : 10.1007/978-3-642-14107-2_13