Automated and unanticipated flexible component substitution

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

Volumn 4608 LNCS, Issue , 2007, Pages 33-48

  Desnos, Nicolas ^a   Huchard, Marianne ^b   Urtado, Christelle ^a   Vauttier, Sylvain ^a   Tremblay, Guy ^c  

^a ECOLE DES MINES D ALÈS   (France)

^b LIRMM   (France)

^c UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONSTRAINT THEORY; INTERFACES (COMPUTER);

AUTOMATIC SUBSTITUTION MECHANISM; SOFTWARE COMPONENT SUBSTITUTION;

COMPUTER SOFTWARE;

EID: 38149132438     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73551-9_3     Document Type: Conference Paper

References (28)

1. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston, MA (2002)
2. Plasil, F., Balek, D., Janecek, R.: SOFA/DCUP: Architecture for component trading and dynamic updating. In: Proc. of the Int. Conf. on Configurable Distributed Systems, Washington, DC, pp. 43-52. IEEE Computer Society Press, Los Alamitos (1998)
3. Bruneton, E., Coupaye, T., Stefani, J.: Fractal specification - v 2.0.3 (2004), http://fractal.objectweb.org/specification/index.html
4. George, B., Fleurquin, R., Sadou, S.: A substitution model for software components. In: QaOOSE'06. Proc. of the 2006 ECOOP Workshop on Quantitative Approaches on Object-Oriented Software Engineering, Nantes, France (2006)
5. Bures, T., Hnetynka, P., Plasil, F.: Sofa 2.0: Balancing advanced features in a hierarchical component model. In: SERA, pp. 40-48. IEEE Computer Society Press, Los Alamitos (2006)
6. Desnos, N., Vauttier, S., Urtado, C., Huchard, M.: Automating the building of software component architectures. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol. 4344, pp. 228-235. Springer, Heidelberg (2006)
7. Brown, A.W., Wallnau, K.C.: The current state of CBSE. IEEE Software 15(5), 37-46 (1998)
8. Crnkovic, I.: Component-based software engineering-new challenges in software development. Software Focus (2001)
9. Dijkman, R.M., Almeida, J.P.A., Quartel, D.A.: Verifying the correctness of component-based applications that support business processes. In: Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K. (eds.) Proc. of the 6th Workshop on CBSE: Automated Reasoning and Prediction, Portland, Oregon, pp. 43-48 (2003)
10. Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. Softw. Eng. 26(1), 70-93 (2000)
11. Inverardi, P., Wolf, A.L., Yankelevich, D.: Static checking of system behaviors using derived component assumptions. ACM Trans. Softw. Eng. Methodol. 9(3), 239-272 (2000)
12. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of the 8th European software engineering conference, pp. 109-120. ACM Press, New York (2001)
13. Mach, M., Plásil, F., Kofron, J.: Behavior protocols verification: Fighting state explosion. International Journal of Computer and Information Science (2005)
14. Wallnau, K.C.: Volume III: A technology for predictable assembly from certifiable components (pace). Technical Report CMU/SEI-2003-TR-009, Carnegie Mellon University, Pittsburgh, OH, USA (2003)
15. Adamek, J., Plásil, F.: Partial bindings of components - any harm? In: APSEC '04. Proc. of the 11th Asia-Pacific Software Engineering Conference, Washington, DC, pp. 632-639. IEEE Computer Society Press, Los Alamitos (2004)
16. Reussner, R.H., Poernomo, I.H., Schmidt, H.W.: Reasoning on software architectures with contractually specified components. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol. 2693, pp. 287-325. Springer, Heidelberg (2003)
17. Magee, J., Kramer, J.: Dynamic structure in software architectures. In: SIGSOFT '96. Proc. of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pp. 3-14. ACM Press, New York (1996)
18. Aldrich, J., Chambers, C., Notkin, D.: ArchJava: connecting software architecture to implementation. In: Proc. of ICSE, Orlando, FL, pp. 187-197. ACM Press, New York (2002)
19. Inverardi, P., Wolf, A.L.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Softw. Eng. 21(4), 373-386 (1995)
20. Allen, R.J.: A formal approach to software architecture. PhD thesis, Carnegie Mellon, School of Computer Science, Issued as CMU Technical Report CMU-CS-97-144 (1997)
21. Matevska-Meyer, J., Hasselbring, W., Reussner, R.H.: A software architecture description supporting component deployment and system runtime reconfiguration. In: WCOP '04. Proc. of the 9th Int. Workshop on Component-Oriented Programming, Oslo, Norway (2004)
22. Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-based runtime software evolution. In: Intl. Conf. on Software Engineering, Kyoto, Japan (1998)
23. Brada, P.: Component change and version identification in SOFA. In: Bartosek, M., Tel, G., Pavelka, J. (eds.) SOFSEM 1999. LNCS, vol. 1725, pp. 360-368. Springer, Heidelberg (1999)
24. Desnos, N., Urtado, C., Vauttier, S., Huchard, M.: Helping the architect build component-based architectures. In: Rousseau, R., Urtado, C., Vauttier, S. (eds.) LMO2006. Proc. of the 12th french speaking conference on Languages and Models with Objets, Nîmes, France, Hermès, pp. 37-52 (in french) (2006)
25. OMG: Unified modeling language: Superstructure, version 2.0 (2002), http://www.omg.org/uml
26. Lobo, A.E., de C. Guerra, P.A., Filho, F.C., Rubira, C.M.F.: A systematic approach for the evolution of reusable software components. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, Springer, Heidelberg (2005)
27. Jones, C.: Systematic Software Development using VDM, 2nd edn. Prentice-Hall, Englewood Cliffs (1990)
28. Abrial, J.R.: The B-Book, Assigning programs to meanings. Cambridge University Press, Cambridge (1996)