P. Java-modeling-language-bibliographie, G. André, C. Ardourel, H. Attiogbé, C. Habrias et al., Vérication de conformité des interactions entre composants. Rapport technique RR04, 2004.

A. André, G. Ardourel, and C. Attiogbé, Spécication d'architectures logicielles en Kmelia : hiérarchie de connexion et composition, 1ère Conférence Francophone sur les Architectures Logicielles, p.101118, 2006.

A. André, G. Ardourel, and C. Attiogbé, Vérication d'assemblage de composants logiciels Expérimentations avec MEC, éditeurs : 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, p.497506, 2006.

C. Aaa06c, P. Attiogbé, G. André, and . Ardourel, Checking Component Composability, 5th International Symposium on Software Composition, SC'06, 2006.

A. André, G. Ardourel, and C. Attiogbé, A Formal Analysis Toolbox for the Kmelia Component Model, Proceedings of ProVeCS'07 (TOOLS Europe), 2007.

A. André, G. Ardourel, and C. Attiogbé, Dening Component Protocols with Service Composition : Illustration with the Kmelia Model, 6th International Symposium on Software Composition , SC'07, 2007.

[. 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

G. André, C. Ardourel, and . Attiogbé, Arnaud Lanoix et Mohamed Messabihi : Prise en compte d'assertions pour la correction d'assemblages de composants Kmelia, 2009.

[. André, G. Ardourel, and C. Attiogbé, Kmelia : un modèle abstrait et formel pour la description et la composition de composants et de services Technique et Science Informatique (TSI) Correction d'assemblages de composants impliquant des interfaces paramétrées, 3e Conférence Francophone sur les Architectures Logicielles, volume RNTI-L-4 de Revue des Nouvelles Technologies de l'Information, p.3344, 2009.

P. André, G. Ardourel, and M. Messabihi, Component Service Promotion: Contracts, Mechanisms and Safety, Proceedings of the 7th International Workshop on Formal Aspects of Component Software, 2010.
DOI : 10.1016/S0164-1212(02)00045-6

P. André, G. Ardourel, and M. Messabihi, Vérication de contrats logiciels à l'aide de transformations de modèles : Application à Kmelia, 7ème journées sur l'Ingénierie Dirigée par les Modèles (IDM), 2011.

J. Abrial, M. Butler, and S. Hallerstede, Voisin : An Open Extensible Tool Environment for Event-B, ICFEM 2006, 2006.

J. Abrial, The B-Book Assigning Programs to Meanings, [Abr10] Jean-Raymond Abrial : Modeling in Event-B -System and Software Engineering, 1996.

G. Attardi and A. Cisternino, Reection support by means of template metaprogramming, Proceedings of Third International Conference on Generative and Component-Based Software Engineering, p.118127, 2001.

J. Aldrich, C. Chambers, and D. Notkin, Architectural Reasoning in ArchJava, Proceedings ECOOP 2002, p.334367, 2002.
DOI : 10.1007/3-540-47993-7_15

J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, p.187197213249, 1997.
DOI : 10.1145/581339.581365

S. A. Arsanjani, A. Ghosh, T. Allam, S. Abdollah, K. Gariapathy et al., SOMA: A method for developing service-oriented solutions, Abrial et S. Hallerstede : Renement, Decomposition, and Instantiation of Discrete Models : Application to Event-B. Fundamenta Informaticae, p.377396128, 2007.
DOI : 10.1147/sj.473.0377

B. Abrial, Hallerstede : Renement, Decomposition, and Instantiation of Discrete Models : Application to Event-B, Fundamenta Informaticae, vol.77, issue.12, p.128, 2007.

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

R. Allen, A Formal Approach to Software Architecture, Thèse de doctorat, 1997.

[. André and M. Messabihi, Gilles Ardourel et Christian Attiogbé : COSTO/Kmelia : a Platform to Specify and Verify Component and Service Software, Journée GDR-GPL (COSMAL), Juin, 2011.

[. Atkinson, B. Paech, J. Reinhold, and T. Sander, Developing and applying component-based model-driven architectures in KobrA, Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference, p.212, 2001.
DOI : 10.1109/EDOC.2001.950441

K. Arnout and . Simon, The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel, Proceedings 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems. TOOLS 39, p.14, 2001.
DOI : 10.1109/TOOLS.2001.941655
URL : https://hal.archives-ouvertes.fr/hal-00395725

C. Att08 and . Attiogbé, Mastering Specication Heterogeneity with Multifacet Analysis, MoVaH'2008 -ICST'08 Workshop, 2008.

[. Baker, CORBA -Distributed Objects, The Orbix Approach, 1997.

[. Bolognesi and E. Brinksma, Introduction to the iso specication language lotos, Computer Networks, vol.14, p.2559, 1987.

]. S. Bbc-+-98, D. Blake, M. Black, E. Carlson, Z. Davies et al., An architecture for dierentiated service, 1998.

L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. R. Kiniry et al., Leino et Erik Poll : An overview of jml tools and applications, Int. J. Softw. Tools Technol. Transf, vol.7, issue.3, p.212232, 2005.

[. Bodeveix and D. Chemouil, Mamoun Filali et Martin Strecker : Towards formalising aadl in proof assistants, Electr. Notes Theor. Comput. Sci, vol.141, issue.3, p.153169, 2005.

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, An Open Component Model and Its Support in Java, CBSE, p.722, 2004.
DOI : 10.1007/978-3-540-24774-6_3

[. Barros, A. Cansado, E. Madelaine, and M. Rivera, Model-checking Distributed Components: The Vercors Platform, Electronic Notes in Theoretical Computer Science, vol.182, p.316, 2007.
DOI : 10.1016/j.entcs.2006.09.028
URL : https://hal.archives-ouvertes.fr/inria-00091569

A. Philip and . Bernstein, Middleware : a model for distributed system services, Commun. ACM, vol.39, issue.2, p.8698, 1996.

M. Bozga, S. Graf, and L. Mounier, IF-2.0: A Validation Environment for Component-Based Real-Time Systems, Proceedings of Conference on Computer Aided Verication, CAV'02, p.343348, 2002.
DOI : 10.1007/3-540-45657-0_26
URL : https://hal.archives-ouvertes.fr/hal-00357518

F. Peter, R. Brown, and . Metz-booz-allen-hamilton, Reference model for service oriented architecture 1, 2006.

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, p.7596, 2006.
DOI : 10.1016/j.entcs.2006.05.015

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

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

[. Barnett and W. Schulte, Runtime verication of .net contracts, J. Syst. Softw, vol.65, issue.3, 2003.

P. Bhoj, S. Singhal, and S. Chutani, Sla management in federated environments, Computer Networks, p.293308, 1999.

[. Bravetti and G. Zavattaro, A foundational theory of contracts for multi-party service composition. Fundam, Inf, vol.89, pp.451-478, 2008.

[. Cariou, Contribution à un processus de réication d'abstractions de communication, Thèse de doctorat, 2003.

[. Crnkovic, M. Chaudron, and S. Larsson, Componentbased development process and component lifecycle, Proceedings of the International Conference on Software Engineering Advances, p.44, 2006.
DOI : 10.1109/iti.2005.1491195
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.171

E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, Web service denition language (wsdl) Rapport technique NOTE-wsdl-20010315, World Wide Web Consortium, 2001.

A. Carrez, E. Fantechi, and . Najm, Behavioural contracts for a sound composition of components, volume 2767 de LNCS, p.111126, 2003.

A. Carrez, E. Fantechi, and . Najm, Contrats comportementaux pour un assemblage sain de composants, Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2003)

L. Fuentes, E. Pimentel, ;. M. Jos&#233, A. Troya, and . Vallecillo, Adding Roles to CORBA Objects, IEEE Trans. Softw. Eng, vol.29, issue.3, p.242260, 2003.

E. M. Clarke and O. Grumberg, The model checking problem for concurrent systems with many similar processes, Temporal Logic in Specication, p.188201, 1987.
DOI : 10.1007/3-540-51803-7_26

T. George, Heineman : Denition of a software component and its elements, p.519, 2001.

[. Crnkovic and M. Larsson, Component based software engineering -state of the art, 2000.

V. [. Coupaye, L. Quéma, J. Seinturier, and . Stefani, Intergiciel et Construction d'Applications Réparties, chapitre Le système de composants Fractal

[. Collet and R. Rousseau, ConFract : un système pour contractualiser des composants logiciels hiérarchiques. L'Objet, LMO'05, p.223238, 2005.
DOI : 10.3166/objet.11.1-2.223-238

R. [. Collet, T. Rousseau, and . Coupaye, Rivierre : A Contracting System for Hierarchical Components, éditeurs : CBSE, volume 3489 de Lecture Notes in Computer Science, p.187202, 2005.

[. Coupaye and J. Stefani, Fractal Component-Based Software Engineering, Mario Südholt et Charles Consel, p.117129, 2006.
DOI : 10.1007/978-3-540-71774-4_13

. Luca-de-alfaro and A. Thomas, Henzinger : Interface automata, ESEC/FSE-9 : Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, p.109120, 2001.

[. Ding, Z. Chen, and J. Liu, A Rigorous Model of Service Component Architecture, Electronic Notes in Theoretical Computer Science, vol.207, p.3348, 2008.
DOI : 10.1016/j.entcs.2008.03.084

W. Edsger and . Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Commun. ACM, vol.18, p.453457, 1975.

W. Edsger, Dijkstra : Finding the correctness proof of a concurrent program, MFCS'78, p.3138, 1978.

F. D. Desmond, C. Souza-et-alan, and . Wills, Objects, components, and frameworks with UML : the catalysis approach, 1999.

B. Edmonds, The Pragmatic Roots of Context, Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT '99, p.119132, 1999.
DOI : 10.1007/3-540-48315-2_10

[. Enselme, G. Florin, and F. Legond-aubry, Design by Contract: analysis of hidden dependencies in component based application., The Journal of Object Technology, vol.3, issue.4, p.2345, 2004.
DOI : 10.5381/jot.2004.3.4.a2

]. R. Flo67 and . Floyd, Assigning meanings to programs, Proceedings of Symposia in Applied Mathematics 19, 1932.

L. Freitas, J. [. Woodcock, A. Garlan, R. Gamma, R. Helm et al., Fdr explorer Formalizing Architectural Connection, Proceedings of the 16th ICSEGJM02] Carlo Ghezzi, Mehdi Jazayeri et Dino Mandrioli : Fundamentals of Software Engineering, p.7180, 1934.

A. Griffault, [. Gossler, and J. Sifakis, [Gro03] Object Management Group : UML2.0 Superstructure Specication : Final Adopted Specication Composition for component-based modeling, Sci. Comput. Program, vol.55, pp.1-3161183, 1989.

T. George, . Heineman, T. William, C. A. Councill, . A. Hoarehoa83-]-c et al., An axiomatic basis for computer programming Communicating sequential processes [Hol03] Gerard Holzmann : Spin model checker, the : primer and reference manual [Hor96] James Horning : The larch shared language : Some open problems Recent Trends in Data Type Specication Design by contract : The lessons of ariane, Componentbased software engineering : putting the pieces togetherISO98] ISO/IEC : quality of service : Framework. Itu-t recommandation x.641 -iso/iec 13236 : Information technologyJau94] Patrick Jaulent : Génie logiciel, les méthodes. 9782200214821. Armand Colin, pp.576580100106-5873, 1969.

]. J. Kab-+-06, J. Kofron, T. Adamek, P. Bures, V. Jezek et al., Checking fractal component behavior using behavior protocols. presented at the 5th fractal workshop (part of ecoop'06 The wsla framework : Specifying and monitoring service level agreements for web services, Journal of Network and Systems Management, vol.11, 2003.

[. Kouchnarenko and A. Lanoix, Verifying invariants of component-based systems through renement [Kra98] Reto Kramer : icontract -the java(tm) design by contract(tm) tool, AMAST, pages 289 303 TOOLS '98 : Proceedings of the Technology of Object-Oriented Languages and Systems, p.295, 1998.

B. J. Krämer, Component meets service : what does the mongrel look like ? ISSE [Küh06] Thomas Kühne : Matters of (meta-)modeling. Software and System Modeling : An architecture and library for creation and monitoring of ws-agreents, ICSOC, pp.385394369385-6574, 2004.

T. Gary, C. Leavens, K. Ruby, M. Rustan, E. Leino et al., Jml (poster session) : notations and tools supporting detailed design in java : Software component models Multilevel contracts for trusted components, OOPSLA '00 : Addendum to theMAA10a] Mohamed Messabihi WCSI, pp.105106709724-7185, 2000.

M. Messabihi, P. André, and C. Attiogbé, Preuve de cohérence de composants Kmelia à l'aide de la méthode B, 4ème Conférence Francophone sur les Architectures Logicielles, volume L-4 de RNTI, p.113126, 2010.

M. Messabihi, P. André, and C. Attiogbé, Correction d'assemblages de composants impliquant des données et assertions, Mars, 2010.

J. Magee, Behavioral analysis of software architectures using LTSA, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.634637-4051, 1992.
DOI : 10.1145/302405.302726

]. B. Mey03 and . Meyer, The Grand Challenge of Trusted Components, Proceedings of 25th International Conference on Software EngineeringMil82] R. Milner : A Calculus of Communicating Systems, p.660667, 1982.

[. Magee, J. Kramer, and D. Giannakopoulou, Behaviour Analysis of Software Architectures, WICSA1 : Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), p.3550, 1999.
DOI : 10.1007/978-0-387-35563-4_3

[. Magee, J. Kramer, and D. Giannakopoulou, Behaviour Analysis of Software Architectures, Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), p.3550, 1999.
DOI : 10.1007/978-0-387-35563-4_3

[. Mencl and M. Polak, Uml 2.0 components and fractal : An analysis, Proceedings of the 5th International ECOOP Workshop on Fractal Component Model (Fractal'06, 2006.

R. [. Medvidovic and . Taylor, A Classication and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, vol.26, issue.1, p.7093, 2000.

[. Nierstrasz and L. Dami, Component-oriented software technology, 1995.

]. M. Oks05a, T. Oussalah, A. Khammaci, and . Smeda, Les composants : dénitions et concepts de base, chapitre 1, pages 118. Les systèmes à base de composants : principes et fondements, 2005.

]. M. Oks05b, T. Oussalah, A. Khammaci, and . Smeda, Les composants : dénitions et concepts de base, chapitre 1, pages 118. Les systèmes à base de composants : principes et fondements, 2005.

[. Omg, Object Constraint Language Specication, version 2.0. Object Modeling Group, 2005.

A. Ozanne, Interact : un modèle général de contrat pour la garantie des assemblage de composants et services, Thèse de doctorat, 2007.

O. Alain, Interact : un modèle général de contrat pour la garantie des assemblages de composants et services, Thèse de doctorat, 2007.

]. M. Pap03 and . Papazoglou, Service-Oriented Computing : Concepts, Characteristics and Directions, p.312, 2003.

[. Pavel, J. Noye, P. Poizat, and J. Royer, Evaluation of assertion support for the java programming language Java Implementation of a Component Model with Explicit Symbolic Protocols [PV02] F. Plasil et S. Visnovsky : Behavior protocols for software components : Reasoning on UML Class Diagrams with OCL Constraints, 4th International Symposium on Software Composition, SC'05 ER, volume 4215 de LNCS, p.497512, 2002.

R. H. Reussner, Automatic component protocol adaptation with the CoConut/J tool suite, Future Generation Computer Systems, vol.19, issue.5, p.627639, 2003.
DOI : 10.1016/S0167-739X(02)00173-5

A. Rausch and R. Reussner, Raaela Mirandola et Frantisek Plasil, éditeurs. The Common Component Modeling Example : Comparing Software Component Models, LNCS, vol.5153, 2008.

L. M. Ruane, Abstract data types in assembly language programming [SC00] ao Costa Seco, Jo et Luís Caires : A basic model of typed components, ECOOP '00 : Proceedings of the 14th European Conference on Object-Oriented Programming, pp.6367-108128, 1984.

J. M. Spivey, Assumption/commitment rules for networks of asynchronously communicating agents Rapport technique, 1993. [Sif05] Joseph Sifakis : A Framework for Component-based Construction Extended Abstract The Z notation : a reference manual, SEFM'05 : Proceedings of the Third IEEE International Conference on Software Engineering and Formal MethodsSzy97] Clemens Szyperski : Component Software : Beyond Object-Oriented Programming, pp.215225-293300, 1989.

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

D. Thomas, Proceedings, volume 4067 de Lecture Notes in Computer Science [Tou05] Jean-Charles Tournier : Qinna, une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles, ECOOP 2006 -Object-Oriented Programming, 20th European Conference Thèse de doctorat, p.7, 2005.

S. Vinoski, [. J. Vecellio, W. M. Thomas, and R. M. Sanders, Corba : Integrating diverse applications within distributed heterogeneous environments Containers for predictable behavior of component-based software, Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, p.352, 1997.

J. M. Wing, D. M. Yellin, and R. E. Strom, A specier's introduction to formal methods, Computer Protocol Specications and Component Adaptors. ACM Transactions on Programming Languages and Systems, vol.23, issue.192, p.292333, 1990.

[. André, C. Attiogbé, and M. Messabihi, Correction d'assemblages de composants impliquant des interfaces paramétrées, 3ème Conférence Francophone sur les Architectures Logicielles, RNTI-L-4 of Revue des Nouvelles Technologies de l'Information, pp.33-44, 2009.

G. André, C. Ardourel, A. Attiogbé, M. Lanoix, and . Messabihi, Prise en compte d'assertions pour la correction d'assemblages de composants Kmelia, Communication dans la journée GDR- GPL (COSMAL), 2009.

[. Messabihi, P. André, and C. Attiogbé, Multi-levels Use of Contracts for Trusted Components, WCSI TOOLS'2010. Electronic Proceedings in Theoretical Computer Science, pp.85-100, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00488125

[. Messabihi, P. André, and C. Attiogbé, Preuve de cohérence des composants Kmelia à l'aide de la méthode B

[. Messabihi, P. André, and C. Attiogbé, Correction d'assemblages de composants impliquant des données et assertions. Communication invitée dans la journée GDR-GPL, 2010.

P. André and G. Ardourel, Mohamed Messabihi Component Service Promotion : Contracts, Mechanisms and Safety In 7th International Workshop on Formal Aspects of Component Software, 2010.

P. André and G. Ardourel, Mohamed Messabihi Vérication de contrats logiciels à l'aide de transformations de modèles : Application à Kmelia, 7ème journées sur l'Ingénierie Dirigée par les Modèles (IDM), 2011.

P. André, M. Messabihi, G. Ardourel, and C. Attiogbé, COSTO/Kmelia : a Platform to Specify and Verify Component and Service Software, Poster soumis dans la journée GDR-GPL (COSMAL), 2011.