P. Collet and A. Ozanne, Un système de contractualisation pour Fractal : intégration et retours sur expérience, Journées Composants 2005 Le Croisic (France)

P. Collet, A. Ozanne, and N. Rivierre, Enforcing Different Contracts in Hierarchical Component-Based Systems, 5th International Symposium on Software Composition, SC'06 (ETAPS satellite event) (25-26 Vienna (Austria), Lecture Notes in Computer Science, 2006.
DOI : 10.1007/11821946_4
URL : https://hal.archives-ouvertes.fr/hal-01351678

P. Collet, A. Ozanne, and N. Rivierre, On contracting different behavioral properties in component-based systems, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1798-1799, 2006.
DOI : 10.1145/1141277.1141699
URL : https://hal.archives-ouvertes.fr/hal-01351667

H. Chang, P. Collet, A. Ozanne, and N. Rivierre, From Components to Autonomic Elements Using Negotiable Contracts, 3rd International Conference on Autonomic and Trusted Computing (ATC'06) Lecture Notes in Computer Science, 2006.
DOI : 10.1007/11839569_8
URL : https://hal.archives-ouvertes.fr/hal-01351632

H. Chang, P. Collet, A. Ozanne, and N. Rivierre, Some Autonomic Features of Hierarchical Components with Negotiable Contracts, 3rd IEEE International Conference on Autonomic Computing (ICAC'06) (12-16, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01351665

P. Collet, A. Ozanne, and N. Rivierre, Towards a Versatile Contract Model to Organize Behavioral Specifications, 33rd International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 2007, Harrachov (Czech Republic)
DOI : 10.1007/978-3-540-69507-3_73
URL : https://hal.archives-ouvertes.fr/hal-01334905

P. Collet, J. Malenfant, A. Ozanne, and N. Rivierre, Composite Contract Enforcement in Hierarchical Component Systems In ETAPS, 6th International Symposium on Software Composition (SC 2007) Lecture Notes in Computer Science, 2007.

P. Collet, F. Balligand, H. Chang, P. Combes, L. Duchien et al., Chapitre Contrats dans Livrable Faros : État de l'art sur la contractualisation et composition Research, 2006.

A. Meur, P. Lahire, G. Waignier, P. Collet, N. Plouzeau et al., Spécification d'une architecture pour la contractualisation de services : expression du besoin Research Report RNTL Faros, number F-1.2, pp.1-30, 2007.

W. Aalst, Don't go with the flow : Web services composition standards exposed, IEEE Intelligent Systems, vol.18, issue.1, pp.72-76, 2003.

M. Abadi and L. Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems, vol.15, issue.1, pp.73-132, 1993.
DOI : 10.1145/151646.151649

M. Aiello, G. Frankova, and D. Malfatti, What???s in an Agreement?An Analysis and an Extension of WS-Agreement, ICSOC, pp.424-436, 2005.
DOI : 10.1007/11596141_32

P. D. Borgida, Adding more ???DL??? to IDL, Proceedings of the 21st international conference on Software engineering, ICSE '99, 1999.
DOI : 10.1145/302405.302660

L. F. Andrade and J. L. Fiadeiro, Interconnecting Objects via Contracts, UML, pp.566-583, 1999.
DOI : 10.1007/3-540-46852-8_40

A. Andrieux, Web services agreement specification (ws-agreement), Global Grid Forum, 2004.

J. M. Antonio-vallecelio and J. Hernandez, Component interoperability, 2000.

F. Bachman, L. Bass, C. Buhman, S. Comella-dorda, F. Long et al., Volume ii : Technical concepts of component-based software engineering, 2000.

R. Back and J. W. Von, Contracts, games and refinement, 1997.

J. C. Baeten, A brief history of process algebra, Theoretical Computer Science, vol.335, issue.2-3, pp.131-146, 2005.
DOI : 10.1016/j.tcs.2004.07.036

D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, Jass ? java with assertions, Workshop on Runtime Verification held in conjunction with the 13th Conference on Computer Aided Verification, CAV'01, 2001.

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

G. Booch, Object-Oriented Design with Applications. Benjamin/Cummings Series in Ada and Software Engineering, 1991.

J. L. Boudec, The Asynchronous Transfer Mode: a tutorial, Thèse [15], pp.279-309, 1992.
DOI : 10.1016/0169-7552(92)90114-6

L. Briand, W. J. Dzidek, and Y. Labiche, Using aspect-oriented programming to instrument ocl contracts in java, 2004.

E. Bruneton, T. Coupaye, and J. Stefani, The fractal component model The ObjectWeb Consortium, 2002.

L. Burdy, An overview of JML tools and applications, Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), 2003.
DOI : 10.1007/s10009-004-0167-4

P. Chalin, Improving JML: For a Safer and More Effective Language, 2003.
DOI : 10.1007/978-3-540-45236-2_25

H. Chang and P. Collet, Négociation de contrats : des systèmes multi-agents aux composants logiciels. RSTI -Série L'Objet (RSTI-Objet, 2006.

H. Chang and P. Collet, Compositional Patterns of Non-Functional Properties for Contract Negotiation, Journal of Software, vol.2, issue.2, p.12, 2007.
DOI : 10.4304/jsw.2.2.52-63

P. Collet, A. Ozanne, and N. Rivierre, Enforcing Different Contracts in Hierarchical Component-Based Systems, Software Composition, pp.50-65, 2006.
DOI : 10.1007/11821946_4
URL : https://hal.archives-ouvertes.fr/hal-01351678

P. Collet and R. Rousseau, Etat de l'art des approches contractuelles, 2003.

P. Collet, R. Rousseau, T. Coupaye, and N. Rivierre, A Contracting System for Hierarchical Components, Lecture Notes in Computer Science, vol.3489, pp.187-202, 2005.
DOI : 10.1007/11424529_13

A. Dan, H. Ludwig, and G. Pacifici, Web services differentiation with service level agreements, 2003.

P. David, Développement de composants Fractal adaptatifs : un langage dédié à l'aspect d'adaptation, 2005.

C. Dellatorrecicalese and S. Rotenstreich, Behavioral specification of distributed software component interfaces, IEEE Computer, vol.32, issue.7, pp.46-53, 1999.

V. Dignum, J. C. Meyer, . Frank, H. Dignum, and . Weigand, Formal Specification of Interaction in Agent Societies, FAABS, pp.37-52, 2002.
DOI : 10.1007/978-3-540-45133-4_4

A. Duncan and U. Holzle, Adding contracts to Java with Handshake, 1998.

F. P. Balek, Software Connectors and Their Role in Component Deployment, DAIS'01, 2001.
DOI : 10.1007/0-306-47005-5_6

O. Enseling, icontract : Design by contract in java, 2001.

R. B. Findler and M. Felleisen, Contract soundness for object-oriented languages, ACM Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA'01), pp.1-15, 2001.

R. B. Findler, M. Latendresse, and M. Felleisen, Behavioral contracts and behavioral subtyping, ESEC / SIGSOFT FSE, pp.229-236, 2001.

R. J. Plasil and D. Balek, SOFA/DCUP: architecture for component trading and dynamic updating, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), 1998.
DOI : 10.1109/CDS.1998.675757

L. Fredlund, Implementing ws-cdl, JSWEB 2006 (II Jornadas Científico- Técnicas en Servicios Web), 2006.

S. Frolund and J. Koistinen, Quality of service aware distributed object systems, 1998.

S. Frolund and J. Koistinen, Quality of service specification in distributed object systems design, Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS). USENIX, 1998.

A. D. Fuxman, A survey of architecture description languages In Reports from CSC2108 Automatic Verification, 2000.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns, 1994.

C. Garion and L. Van-der-torre, Design by Contract Deontic Design Language for Multiagent Systems, ANIREM, 2005.
DOI : 10.1007/11775331_12

T. Genssler and C. Zeidler, Rule-driven component composition for embedded systems, 1999.

J. V. Guttag, Abstract data types and the development of data structures, Communications of the ACM, vol.20, issue.6, pp.396-404, 1977.
DOI : 10.1145/359605.359618

R. Helm, I. M. Holland, and D. Gangopadhyay, Contracts : Specifying behavioral compositions in object-oriented systems, Proceedings of the OOPSLA/ECOOP '90 Conference on Object-oriented Programming Systems, Languages and Applications, pp.169-180, 1990.

T. Henzinger, S. Qadeer, and S. Rajamani, Decomposing refinement proofs using assume-guarantee reasoning, IEEE/ACM International Conference on Computer Aided Design. ICCAD, 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140), pp.245-252, 2000.
DOI : 10.1109/ICCAD.2000.896481

C. Hoare, An axiomatic basis for computer programming, ACM 12, pp.576-580, 1969.

H. Hussmann, B. Demuth, and F. Finger, Modular architecture for a toolset supporting ocl, Proc. 3rd International Conference on the Unified Modeling Language (UML), pp.278-293, 1939.

S. E. Magee, N. Dulay, and J. Kramer, Specifying distributed software architectures, Fifth European Software Engineering Conference ESEC'95, 1995.
DOI : 10.1007/3-540-60406-5_12

V. C. Dowling, The k-component architecture meta-model for self-adaptive software The Third Int, Conference on Metalevel Architectures and Separation of Crosscutting Concerns, 2001.

J. Jin and K. Nahrstedt, Qos specification languages for distributed multimedia applications : A survey and taxonomy, IEEE MultiMedia, vol.11, issue.3, pp.74-87, 2004.

C. Jones, Tentative steps toward a development method for interfering programs, ACM Transactions on Programming Languages and Systems, vol.5, issue.4, pp.569-619, 1983.
DOI : 10.1145/69575.69577

J. Jézéquel, O. Defour, and N. Plouzeau, An MDA approach to tame component based software development, Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, pp.260-275, 2003.

M. Karaorman, U. Hölzle, and J. Bruno, jContractor: A Reflective Java Library to Support Design By Contract, Meta-Level Architectures and Reflection, 2nd Int'l Conf. Reflection, pp.175-196, 1999.
DOI : 10.1007/3-540-48443-4_18

R. S. Arnout, 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, 2001.
DOI : 10.1109/TOOLS.2001.941655
URL : https://hal.archives-ouvertes.fr/hal-00395725

A. Keller, G. Kar, H. Ludwig, A. Dan, and J. Hellerstein, Managing dynamic services: a contract based approach to a conceptual architecture, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327), pp.15-19
DOI : 10.1109/NOMS.2002.1015605

A. Keller and H. Ludwig, The wsla framework : Specifying and monitoring service level agreements for web services, Journal of Network and System Management, vol.11, issue.1, 2003.

M. H. Trentleman, Extending JML Specifications with Temporal Logic, Algebraic Methodology and Software Technology (AMAST), 2002.
DOI : 10.1007/3-540-45719-4_23

J. Kiniry, Semantic component composition, 2002.

A. Kleppe, J. Warmer, and W. Bast, MDA Explained : The Model Driven Architecture?Practice and Promise, 2003.

M. J. Kollingbaum and T. J. Norman, Supervised Interaction ??? A Form of Contract Management to Create Trust between Agents, Trust, Reputation, and Security, pp.108-122, 2002.
DOI : 10.1007/3-540-36609-1_9

R. Kramer, icontract ? the java design by contract tool, Proceedings of TOOLS 26 : Technology of Object-Oriented Languages and Systems, 1998.

L. Lamport and F. B. Schneider, The ``Hoare Logic'' of CSP, and All That, ACM Transactions on Programming Languages and Systems, vol.6, issue.2, pp.281-296, 1984.
DOI : 10.1145/2993.357247

R. Land, A brief survey of software architecture, 2002.

G. T. Leavens and Y. Cheon, Design by contract with jml. Draft, available from jmlspecs.org, 2005.

G. T. Leavens, Y. Cheon, and C. Clifton, How the design of jml accomodates both runtime assertion checking and formal verification, 2002.

J. P. Loyall, D. E. Bakken, and R. E. Schant, QoS Aspect Languages and Their Runtime Integration, Proceedings of the Fourth ICSE Workshop on Component- Based Software Engineering, 2001.
DOI : 10.1007/3-540-49530-4_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.44.6414

H. Ludwig, A. Keller, A. Dan, R. King, and R. Franck, Web service level agreement (wsla) language specification, version 1.0, 2003.

J. Magee and J. Kramer, Concurrency : state models & Java programs, 1999.

J. Malenfant, N. Plouzeau, and J. Jézéquel, The design of gccl : a generalized common contract language, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00072086

W. W. Martin and . Büchi, The greybox approach : when blackbox specifications hide too much, TUCS, 1999.

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, 1997.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

B. Meyer, Eiffel : the language, 1992.

W. S. Barnett, Contracts, components, and their runtime verification on the .net platform, 2002.

N. Milanovic, V. Stantchev, and M. Malek, Definition of contracts for service composition, 2004.

J. Misra and K. M. Chandy, Proofs of Networks of Processes, IEEE Transactions on Software Engineering, vol.7, issue.4, pp.417-426, 1981.
DOI : 10.1109/TSE.1981.230844

D. J. Murray and D. E. Parson, Automated debugging in java using ocl and jdi, proceedings of the Fourth International Workshop on Automated Debugging, 2000.

L. P. Nieto, Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle, 2002.

S. P. Nikunj, R. Mehta, and N. Medvidovic, Towards a taxonomy of software connectors, ICSE, 2000.

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003.
DOI : 10.1109/MC.2003.1236471

H. Peng and S. Tahar, A survey on compositionnal verification, 1998.

O. Perrin and C. Godard, An approach to implement contracts as trusted intermediaries, Proceedings. First IEEE International Workshop on Electronic Contracting, 2004., 2004.
DOI : 10.1109/WEC.2004.1319511

L. Petre, R. Back, and I. Paltor, Analysing uml use cases as contracts, UML, pp.518-533, 1999.

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

R. Plösch, Evaluation of Assertion Support for the Java Programming Language., The Journal of Object Technology, vol.1, issue.3, 2002.
DOI : 10.5381/jot.2002.1.3.a1

A. Rausch, Software evolution in componentware using requirements/assurances contracts, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.147-156, 2000.
DOI : 10.1145/337180.337198

R. H. Reussner, An enhanced model for component interfaces to support automatic and dynamic adaption, New Issues in Object Interoperability ? Proceedings of the ECOOP' 2000 Workshop on Object Interoperability, pp.33-42, 2000.

M. Richters and M. Gogolla, A Metamodel for OCL, UML, pp.156-171, 1999.
DOI : 10.1007/3-540-46852-8_12

R. M. Robert, T. Monroe, A. Kompanek, and D. Garlan, Architectural styles, design patterns, and objects, 1997.

S. Röttger and S. Zschaler, CQML+ : Enhancements to CQML, Thèse [94] 1st Intl. Workshop on Quality of Service in Component-Based Software Engineering, pp.43-56, 2003.

A. Sassen, G. Amoros, P. Donth, K. Geihs, J. Jézéquel et al., Qccs : A methodology for the development of contract-aware components based on aspect-oriented design, Workshop on Early Aspects : Aspect-Oriented Requirements Engineering and Architecture Design (AOSD-2002), 2002.

M. Sereno, Performance Models for Discrete Event Systems with Synchronisations : Formalisms and Analysis Techniques, chapter Modelling and analysis of time constrained and hierarchical systems (MATCH), 1998.

A. Sjörgen, A method for support design by contract on the .net platform, 2002.

E. W. Stark, A proof technique for rely/guarantee properties, Foundations of Software Technology and Theoretical Computer Science, pp.369-391, 1985.
DOI : 10.1007/3-540-16042-6_21

K. Stolen, F. Dederichs, and R. Weber, Assumption/commitment rules for networks of asynchronously communicating agents, 1993.

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

H. Tran, P. Bedu, L. Duchien, H. Nguyen, and J. Perrin, Toward structural and behavioral analysis for component models, SAVBCS 2004, 12th ACM SIG- SOFT Symposium on the Foundation of Software Engineering, 2004.

N. Tran, C. Mingins, and D. Abramson, Design and implementation of assertions for the common language infrastructure, IEE Proceedings - Software, vol.150, issue.5, 2003.
DOI : 10.1049/ip-sen:20030988

G. J. Vecellio, W. M. Thomas, and R. M. Sanders, Containers for predictable behavior of component-based software, Proceedings of the Fifth ICSE Workshop on Component Based Software Engineering, 2002.

Q. Xu and S. Mohalik, Compositional Reasoning Using the Assumption-Commitment Paradigm, COMPOS, pp.565-583, 1997.
DOI : 10.1007/3-540-49213-5_22

J. Yang and M. P. Papazoglou, Service components for managing the life-cycle of service compositions, Information Systems, vol.29, issue.2, pp.97-125, 2004.
DOI : 10.1016/S0306-4379(03)00051-6

P. Ziemann and M. Gogolla, An extension of ocl with temporal logic, Critical Systems Development with UML ? Proceedings of the UML'02 workshop, pp.53-62

M. Zulkernine and R. E. Seviora, Assume-guarantee supervisor for concurrent systems, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001, p.151, 2001.
DOI : 10.1109/IPDPS.2001.925140