A contracting system for hierarchical components

Lecture Notes in Computer Science

Volumn 3489, Issue , 2005, Pages 187-202

  Collet, Philippe ^a   Rousseau, Roger ^a   Coupaye, Thierry ^b   Rivierre, Nicolas ^b  

^a UNIVERSITÉ CÔTE D'AZUR   (France)

^b ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITION; FRACTALS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

CONTRACT VIOLATION; DYNAMIC RECONFIGURATIONS; HIERARCHICAL COMPONENT MODEL; HIERARCHICAL COMPONENTS;

CONTRACTS;

EID: 24944452225     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11424529_13     Document Type: Conference Paper

References (25)

1. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.B.: An Open Component Model and Its Support in Java. In: ICSE 2004 - CBSE7. Volume 3054 of LNCS., Springer Verlag (2004)
2. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. 2nd edition edn. Addison-Wesley (2002)
3. Bachman, P., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Seacord, R., Wallnau, K.: Technical Concepts of Component-Based Software Engineering. CMU/SEI-2000-TR-008, Software Engineering Institute (2000) vol. 2.
4. Bruneton, E., Coupaye, T., Stefani, J.B.: The Fractal Component Model. Specification v1, v2, The Object Web Consortium (2002, 2003) http://fractal.objectweb.org.
5. Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In Kilov, H., Rumpe, B., Simmonds, I., eds.: Behavioral Specifications of Businesses and Systems, Kluwer (1999) 175-188
6. de Alfaro, L., Henzinger, T.A.: Interface Automata. In: Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM Press (2001) 109-120
7. Plasil, F., Visnovsky, S.: Behavior Protocols for Software Components. IEEE Trans. on Soft. Eng. 28 (2002)
8. Barnett, M., Schulte, W.: Runtime Verification of .NET Contracts. Journal of Systems and Software 65 (2003) 199-208
9. Meyer, B.: Applying "Design by contract". IEEE Computer 25 (1992) 40-51
10. Pahl, C.: Components, Contracts and Connectors for the Unified Modelling Language UML. In Verlag, S., ed.: FME2001 - Formal Methods Europe. Volume 2021 of LNCS. (2001) 259-277
11. Weis, T., Becker, C., Geihs, K., Plouzeau, N.: A UML Meta-model for Contract Aware Components. In: UML 2001 - The Unified Modeling Language. Volume 2185 of Lecture Notes in Computer Science., Springer Verlag (2001) 442-456
12. Object Management Group, I.: Object Constraint Language Specification. Technical Report version 1.1, ad/97-08-08, IBM www.software.ibm.com/ad/ocl (1997)
13. D'Souza, D.F., Wills, A.C.: Object, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley Publishing Co. (Reading, MA) (1998)
14. Findler, R.B., Felleisen, M.: Contract Soundness for Object-Oriented Languages. In: Proceedings of OOPSLA'2001. (2001)
15. Chang, H., Collet, P.: Towards Contracts Negotiation in Software Components (in french). In: LMO'2005 (Object Models and Languages), Lavoisier (2005)
16. Plösch, R.: Evaluation of Assertion Support for the Java Programming Language. In: Journal of Object Technology, Volume 1,3. (2002) 5-17
17. Helm, R., Holland, I.M., Gangopadhyay, D.: Contracts: Specifying Behavioral compositions in Object-Oriented Systems. In Meyrowitz, N., ed.: OOPSLA/ECOOP'90, Ottawa, Canada (1990) 169-180
18. Frølund, S., Koistinen, J.: Quality of Service in Distributed Object Systems Design. In: 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), Santa Fe (New Mexico), USENIX (1998)
19. Loques, O., Sztajnberg, A.: Customizing Component-Based Architectures by Contract. In: Proceedings of Component Deployment 2004, Edinburgh, UK. (2004)
20. Defour, O., Jézéquel, J.M., Plouzeau, N.: Extra-Functional Contract Support in Components. In Crnkovic, I., Stafford, J., Schmidt, H., Wallnau, K., eds.: ICSE 2004 - CBSE7. Volume 3054 of LNCS., Springer Verlag (2004) 217-232
21. OMG: UML 2 OCL Final Adopted Specification. Technical Report ptc/03-10-14, Object Management Group (2003)
22. Allen, R.J., Garlan, D.: A Formal Basis for Architectural Connection. ACM Trans. on Soft. Eng. and Methodology 6 (1997)
23. Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures. In: 1st Working IFIP Conference on Software Architecture (WICSA1), San Antonio, USA (1999)
24. Luckham, D.C., all: Specification and Analysis of System Architecture using Rapide. IEEE Trans. on Soft. Eng. 24 (1995) 336-355
25. Collet, P., Rousseau, R.: Efficient Implementation Techniques for Advanced Assertion Languages. L'objet 5 (1999) 417-442