Enhancing dependability of component-based systems

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

Volumn 4498 LNCS, Issue , 2007, Pages 41-54

  Lanoix, Arnaud ^a   Hatebur, Denis ^b   Heisel, Maritta ^b   Souquières, Jeanine ^a  

^a LORIA   (France)

^b UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FEATURE EXTRACTION; SECURITY OF DATA; SOFTWARE ARCHITECTURE; UNIFIED MODELING LANGUAGE;

COMPONENT-BASED SYSTEMS; DEPENDABILITY FEATURES;

COMPUTER SOFTWARE;

EID: 37849053100     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73230-3_4     Document Type: Conference Paper

References (31)

1. Abrial, J.-R.: The B Book. Cambridge University Press, Cambridge (1996)
2. Afadl2000. Etude de cas : systéme de contrôle d'accès. In Journés AFADL, Approches formelles dans l'assistance au développement de logiciels, actes LSR/IMAG (2000)
3. Alfaro, L., Henzinger, T.A.: Interface automata. In: 9 th Annual Aymposium on Foundations of Software Engineering, FSE, pp. 109-120. ACM Press, New York (2001)
4. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing 1(1), 11-33 (2004)
5. Bastide, R., Sy, O., Palanque, P.A.: Formal specification and prototyping of CORBA systems. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol. 1628, pp. 474-494. Springer, Heidelberg (1999)
6. Behm, P., Benoit, P., Meynadier, J.M.: METEOR: A Successful Application of B in a Large Project. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999, LNCS, vol. 1708, pp. 369-387. Springer, Heidelberg (1999)
7. Bert, D., Boulmé, S., Potet, M-L., Requet, A., Voisin, L.: Adaptable Translator of B Specifications to Embedded C Programs. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 94-113. Springer, Heidelberg (2003)
8. Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware, July 1999, pp. 38-45. IEEE Computer, Los Alamitos (1999)
9. Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software (2005)
10. Canal, C., Fuentes, L., Pimentel, E., Troya, J-M., Vallecillo, A.: Extending CORBA interfaces with protocols. Comput. J. 44(5), 448-462 (2001)
11. Cheesman, J., Daniels, J.: UML Components - A Simple Process for Specifying Component-Based Software. Addison-Wesley, Reading (2001)
12. Chouali, S., Heisel, M., Souquiéres, J.: Proving Component Interoperability with B Refinement. Electronic Notes in Theoretical Computer Science 160, 157-172 (2006)
13. Clearsy. B4free. (2004), Available at http://www.b4free.com
14. de Guerra, P.A., Mary, C., Rubira, F., Romanovsky, A., de Lemos R.: A fault-tolerant software architecture for COTS-based software systems (2003)
15. Fetzer, C., Xiao, Z.: HEALERS: A Toolkit for Enhancing the Robutness and Security of Existing Wrappers. In Proc. International Conference on Dependable Systems and Networks (2003)
16. Garlan, D., Allen, R., Ockerbloom, J.: Architectural Mismatch: Why Reuse is so Hard. IEEE Software 12(6), 17-26 (1999)
17. Han, J.: A comprehensive interface definition framework for software components. In: The 1998 Asia Pacific software engineering conference, pp. 110-117. IEEE Computer Society Press, Los Alamitos (1998)
18. Hatebur, D., Heisel, M., Souquières, J.: A method for component-based software and system development. In: Proceedings of the 32tnd Euromicro Conference on Software Engineering And Advanced Applications, pp. 72-80. IEEE Computer Society Press, Los Alamitos (2006)
19. Heisel, M., Souquières, J.: Adding features to component-based systems. In: Ryan, M.D., Meyer, J.-J.Ch., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 137-153. Springer, Heidelberg (2004)
20. Ledang, H., Souquières, J.: Modeling class operations in B: application to UML behavioral diagrams. In: ASE'2001: 16th IEEE International Conference on Automated Software Engineering, IEEE Computer Society Press, Los Alamitos (2001)
21. Meyer, E., Souquières, J.: A systematic approach to transform OMT diagrams to a B specification. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 875-895. Springer, Heidelberg (1999)
22. Mouakher, I., Lanoix, A., Souquières, J.: Component adaptation: Specification and verification. In: Reussner, R., Week, W., Szyperski, C. (eds.) 11th International Workshop on Component Oriented Programming (WCOP'06), pp. 23-30 (2006)
23. Object Management Group (OMG). UML Superstructure Specification, version 2.0 (2005)
24. Popov, P., Strigini, L., Riddle, S., Romanovsky, A.: Protective Wrapping of OTS components. In: 4th ICSE WWorkshop on Component-Based Software Engineering: Component Certification and System Prediction (2001)
25. Rakic, M., Medvidovic, N.: Increasing the confidence in off-the-shelf components. In: Symposium on Software Reusability, pp. 11-18 (2001)
26. Roshandel, R., Medvidovic, N.: Multi-view software component modeling for dependability. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems H. LNCS, vol. 3069, pp. 286-306. Springer, Heidelberg (2004)
27. Schmidt, H.W., Reussner, R.H.: Generating adapters fo concurrent component protocol synchronisation. In: Crnkovic, I., Larsson, S., Stafford, J. (eds.) Proceeding of the 5th IFIP International conference on Formal Methods for Open Object-based Distributed Systems (2002)
28. Steria - Technologies de l'information. Obligations de preuve: Manuel de référence, version 3.0 (1998)
29. Vallacillo, A., Hernandez, J., Troya, M.: Object interoperability. In: Guerraoui, R. (ed.) ECOOP 1999. LNCS, vol. 1628, pp. 1-21. Springer, Heidelberg (1999)
30. Yellin, D.D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292-333 (1997)
31. Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Transactions on Software Engineering and Methodology 6(4), 333-369 (1997)