R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

P. André, G. Ardourel, and C. Attiogbé, Behavioural Verification of Service Composition, ICSOC/Workshop on Engineering Service Compositions, p.5

P. André, G. Ardourel, C. Attiogbé, H. Habrias, and C. Stoquer, A Service-Based Component Model: Formalism, Analysis and Mechanization, 2005.

P. C. Attie and D. H. Lorenz, Correctness of Model-based Component Composition without State Explosion, ECOOP 2003 Workshop on Correctness of Model-based Software Composition, 2003.

P. C. Attie and D. H. Lorenz, Establishing Behavioral Compatibility of Software Components without State Explosion, 2003.

K. Bergner, A. Rausch, M. Sihling, A. Vilbig, and M. Broy, A Formal Model for Componentware, Foundations of Component-Based Systems, pp.189-210, 2000.

A. Bracciali, A. Brogi, and C. Canal, A formal approach to component adaptation, Journal of Systems and Software, vol.74, issue.1, pp.45-54, 2005.
DOI : 10.1016/j.jss.2003.05.007

L. De-alfaro and T. A. Henzinger, Interface Automata, Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp.109-120, 2001.

J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier et al., CADP a protocol validation and verification toolbox, Proc. of the 8th Conference on Computer-Aided Verification (CAV'96), volume 1102 of LNCS, pp.437-440, 1996.
DOI : 10.1007/3-540-61474-5_97

D. Giannakopoulou, J. Kramer, and S. C. Cheung, Behaviour Analysis of Distributed Systems Using the Tracta Approach, ASE, vol.6, issue.1, pp.7-35, 1999.

P. Inverardi, A. L. Wolf, and D. Yankelevich, Static checking of system behaviors using derived component assumptions, ACM Transactions on Software Engineering and Methodology, vol.9, issue.3, pp.239-272, 2000.
DOI : 10.1145/352591.352593

I. Lotos, A Formal Description Technique Based on The Temporal Ordering of Observational Behaviour. International Organisation for Standardization - Information Processing Systems -Open Systems Interconnection, 1988.

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

S. Pavel, J. Noyé, P. Poizat, and J. C. Royer, A Java Implementation of a Component Model with Explicit Symbolic Protocols, Gschwind et al. [11], pp.115-124
DOI : 10.1007/11550679_9
URL : https://hal.archives-ouvertes.fr/hal-00342152

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.9185

M. Südholt, A Model of Components with Non-regular Protocols, Gschwind et al. [11], pp.99-113
DOI : 10.1007/11550679_8

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

F. Xie and J. C. Browne, Verified Systems by Composition from Verified Components, ESEC/FSE-11: Proc. of the 9th European software engineering conference, pp.277-286, 2003.

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.
DOI : 10.1145/244795.244801