Enforcing different contracts in hierarchical component-based systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4089 LNCS, Issue , 2006, Pages 50-65

  Collet, Philippe ^a   Ozanne, Alain ^b   Rivierre, Nicolas ^b  

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

^b ORANGE LABS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SOFTWARE; RELIABILITY THEORY;

COMPONENT BASED SYSTEMS; CONFRACT SYSTEM; SOFTWARE COMPONENTS;

HIERARCHICAL SYSTEMS;

EID: 33749378977     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11821946_4     Document Type: Conference Paper

References (29)

1. ALLEN, R. J., AND GARLAN, D. A formal basis for architectural connection. ACM, Transactions on Software Engineering and Methodology 6 (July 1997).
2. BARNETT, M., AND SCHULTE, W. Runtime Verification of.NET Contracts. Journal of Systems and Software 65, 3 (2003), 199-208.
3. BARRINGER, H., GOLDBERG, A., HAVELUND, K., AND SEN, K. Rule-based runtime verification. In VMCAI (2004), B. Steffen and G. Levi, Eds., vol. 2937 of Lecture Notes in Computer Science, Springer, pp. 44-57.
4. BRUNETON, E., COUPAYE, T., LECLERCQ, M., QUÉMA, V., AND STEFANI, J.-B. An Open Component Model and Its Support in Java. In JCSE 2004 - CBSE7 (May 2004), vol. 3054 of LNCS, Springer Verlag.
5. BRUNETON, E., COUPAYE, T., AND STEFANI, J.-B. The Fractal component model. Specification, Technical Report v1, v2, The ObjectWeb Consortium, 2002/2003. http://fractal.objectweb.org.
6. CHANG, H., AND COLLET, P. Fine-grained Contract Negotiation for Hierarchical Software Components. In 31th EUROMICRO Conference 2005, 30 August - 3 September 2005, Porto, Portugal (2005), IEEE Computer Society.
7. COLLET, P., ROUSSEAU, R., COUPAYE, T., AND RIVIERRE, N. A Contracting System for Hierarchical Components. In CBSE'2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings (2005), vol. 3489 of LNCS, Springer Verlag, pp. 187-202.
8. DIAZ, M., JUANOLE, G., AND COURTIAT, J. P. Observer - a concept for formal on-line validation of distributed systems. IEEE Trans. on Software Engineering 20, 12 (Dec. 1994), 900-913.
9. GOLDBERG, A., AND HAVELUND, K. Instrumentation of Java bytecode for runtime analysis. Fifth ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP'03)) (July 2004).
10. HAVELUND, K., AND ROŞU, G. Efficient monitoring of safety properties. International Journal on Software Tools for Technology Transfer (STTT) 6, 2 (Aug. 2004), 158-173.
11. KICZALES, G., LAMPING, J., MENHDHEKAR, A., MAEDA, C., LOPES, C., LOINGTIER, J.-M., AND IRWIN, J. Aspect-oriented programming. In Proceedings European Conference on Object-Oriented Programming, M. Akşit and S. Matsuoka, Eds., vol. 1241. Springer-Verlag, Berlin, Heidelberg, and New York, 1997, pp. 220-242.
12. LAMPORT, L. The Temporal Logic of Actions. ACM Trans. on Programming Languages and Systems 16, 3 (May 1994), 872-923.
13. + Language and Tools for Hardware and Software Engineers. Addison Wesley, July 2002.
14. LEAVENS, G. T., BAKER, A. L., AND RUBY, C. JML: A notation for detailed design. In Behavioral Specifications of Businesses and Systems (1999), H. Kilov, B. Rumpe, and I. Simmonds, Eds., Kluwer, pp. 175-188.
15. LUCKHAM, D. C., AND VERA, J. An event-based architecture definition language. IEEE Trans. Software Eng. 21, 9 (1995), 717-734.
16. MAGEE, J., AND KRAMER, J. Concurrency: state models & Java programs. John Wiley & Sons, Inc., 1999.
17. MAGEE, J., KRAMER, J., AND GIANNAKOPOULOU, D. Behaviour analysis of software architectures. In WICSA (1999), pp. 35-50.
18. MEDVIDOVIC, N., AND TAYLOR, R. N. A classification and comparison framework for software architecture description languages. In IEEE Transactions on Software Engineering (Jan. 2000), vol. 26(1), pp. 70-93.
19. MEYER, B. Applying "design by contract". IEEE Computer 25, 10 (Oct. 1992), 40-51.
20. OBJECT MANAGEMENT GROUP. Object Constraint Language Specification. Tech. Rep. version 1.1, ad/97-08-08, IBM www.software.ibm.com/ad/ocl, Sept. 1997.
21. PAHL, C. Components, contracts, and connectors for the unified modelling language UML. In FME 2001 - Formal Methods Europe (2001), vol. 2021 of Lecture Notes in Computer Science, Springer Verlag, pp. 259-277.
22. PLASIL, F. Enhancing component specification by behavior description: the sofa experience. In WISICT '05: Proceedings of the 4th international symposium on Information and communication technologies (2005), Trinity College Dublin, pp. 185-190.
23. PLASIL, F., AND VISNOVSKY, S. Behavior protocols for software components. IEEE Transactions on Software Engineering 28(11) (Nov. 2002).
24. RICHARDSON, D. J., AHA, S. L., AND O'MALLEY, T. O. Specification-based test oracles for reactive systems. In 14th International Conference on Software Engineering (ICSE'92) (1992), pp. 105-118.
25. RIVIERRE, N., HORN, F., AND TRAN, F. D. On monitoring concurrent systems with TLA: an example. Fifth International Conference on Application of Concurrency to System Design (ACSD'05), St Malo, FR (June 2005), 36-47.
26. SZYPERSKI, C. Component Software - Beyond Object-Oriented Programming, 2nd ed. Addison-Wesley Publishing Co. (Reading, MA), 2002.
27. TLA. References to the TLA literature can be found at http://lamport.org/.
28. VAN DEURSEN, A., KLINT, P., AND VISSER, J. Domain-specific languages: An annotated bibliography. SIGPLAN Notices 35, 6 (2000), 26-36.
29. WEIS, T., BECKER, C., GEIHS, K., AND PLOUZEAU, N. A UML meta-model for contract aware components. In UML 2001 - The Unified Modeling Language (Oct. 2001), vol. 2185 of Lecture Notes in Computer Science, Springer Verlag, pp. 442-456.