Search-based many-to-one component substitution

Journal of Software Maintenance and Evolution

Volumn 20, Issue 5, 2008, Pages 321-344

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

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

^b LIRMM   (France)

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

Author keywords

Component assembly evolution; Component substitution; Dead components; Heuristics; Many to one component replacement; Search based building process

Indexed keywords

HEURISTIC METHODS; OBSOLESCENCE; PORTS AND HARBORS; SOFTWARE ENGINEERING;

COMPONENT ASSEMBLY EVOLUTION; COMPONENT SUBSTITUTION; DEAD COMPONENTS; HEURISTICS; MANY-TO-ONE COMPONENT REPLACEMENT; SEARCH-BASED BUILDING PROCESS;

KETONES;

EID: 56749157697     PISSN: 1532060X     EISSN: 15320618     Source Type: Journal    
DOI: 10.1002/smr.377     Document Type: Article

References (39)

1. Szyperski C. Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc.: Boston MA, 2002.
2. Plásil F, Balek D, Janeeek R. SOFA/DCUP: Architecture for component trading and dynamic updating. Proceedings of the International Conference on Configurable Distributed Systems. IEEE Computer Society: Silver Spring MD, 1998; 43-52.
3. Braneton E, Coupaye T, Stefani J. Fractal specification - v 2.0.3, February 2004. http://fractal.objectweb.org/specification/indcx.html [3 July 2008].
4. George B, Fleurquin R, Sadou S. A substitution model for software components. Proceedings of the 2006 ECOOP Workshop on Quantitative Approaches on Object-Oriented Software Engineering (QaOOSE'06), July 2006.
5. Bures T, Hnetynka P, Plásil F. Sofa 2.0: Balancing advanced features in a hierarchical, component model. SERA. IEEE Computer Society: Silver Spring MD, 2006; 40-48.
6. Desnos N, Vauttier S, Urtado C, Huchard M. Automating the building of software component architectures. Software Architecture: 3rd European Workshop on Software Architectures, Languages, Styles, Models, Tools, and Applications (EWSA) (Lecture Notes in Computer Science, vol. 4344), Gruhn V, Oquendo F (eds.). Springer: Berlin, 2006; 228-235.
7. Brown AW, Wallnau KC. The current state of CBSE. IEEE Software 1998; 15(5):37-46.
8. Crnkovic I. Component-based software engineering - New challenges in software development. Software Focus 2001; 2(4):127-133.
9. Dijkman RM, Almeida JPA, Quartel DA. Verifying the correctness of component-based applications that support business processes. Proceedings of the 6th Workshop on CBSE: Automated Reasoning and Prediction, Crnkovic I, Schmidt H, Stafford J, Wallnau K (eds.), May 2003; 43-48.
10. Medvidovic N, Taylor RN. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 2000; 26(1):70-93.
11. Inverardi P, Wolf AL, Yankelevich D. Static checking of system behaviors using derived component assumptions. ACM Transactions on Software Engineering and Methodology 2000; 9(3):239-272.
12. de Alfaro L, Henzinger TA. Interface automata. Proceedings of the 8th European Software Engineering Conference. ACM Press: New York, 2001; 109-120.
13. Mach M, Plásil F, Kofron J. Behavior protocols verification: Fighting state explosion. International Journal of Computer and Information Science (ACIS) 2005; 6(1):22-30.
14. Holub V, Plásil F. Reducing component systems' behavior specification. Proceedings of the XXVI International Conference of the Chilean Society of Computer Science (SCCC'07). IEEE Computer Society: Silver Spring MD, 2007; 63-72.
15. Holub V, Tuma P. Streaming state space: A method of distributed model verification. Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007). IEEE Computer Society: Silver Spring MD, June 2007; 356-368.
16. Wallnau KC. Volume III: A technology for predictable assembly from certifiable components (pace). Technical Report CMU/SEI-2003-TR-009, Carnegie Mellon University, Pittsburgh OH, April 2003.
17. Adamek J, Plásil F. Partial bindings of components-Any harm? APSEC '04: Proceedings of the 11th Asia-Pacific Software Engineering Conference. IEEE Computer Society: Silver Spring MD, 2004; 632-639.
18. Reussner RH, Poernomo IH, Schmidt HW. Reasoning on software architectures with contractually specified components. Component-Based Software Quality: Methods and Techniques (Lecture Notes in Computer Science, vol. 2693), Cechich A, Piattini M, Vallecillo A (eds.). Springer: Berlin, 2003; 287-325.
19. Garlan D, Allen R, Ockerbloom J. Exploiting style in architectural design environments. Proceedings of the ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering, 1994; 175-188.
20. Shaw M, DeLine R, Klein DV, Ross TL, Young DM, Zelesnik G. Abstractions for software architecture and tools to support them. Software Engineering 1995; 21(4):314-335.
21. Magee J, Kramer J. Dynamic structure in software architectures. SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering. ACM Press: New York, 1996; 3-14.
22. Aldrich J, Chambers C, Notkin D. ArchJava: Connecting software architecture to implementation. Proceedings of the ICSE. ACM Press: New York, 2002; 187-197.
23. Inverardi P, Wolf AL. Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Transactions on Software Engineering 1995; 21(4):373-386.
24. Allen RJ. A formal approach to software architecture. PhD Thesis, Carnegie Mellon, School of Computer Science, January 1997. Issued as CMU Technical Report CMU-CS-97-144.
25. Matevska-Meyer J, Hasselbring W, Reussner RH. A software architecture description supporting component deployment and system runtime reconfiguration. Proceedings of the 9th International Workshop on Component-Oriented Programming (WCOP'04), June 2004.
26. Oreizy P, Medvidovic N, Taylor RN. Architecture-based runtime software evolution. International Conference on Software Engineering, Kyoto, Japan. IEEE Computer Society: April 1998; 177-187.
27. Brada P. Component change and version identification in SOFA. SOFSEM '99: Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics. Springer: Berlin, 1999; 360-368.
28. Desnos N, Huchard M, Urtado C, Vauttier S, Tremblay G. Automated and unanticipated flexible component substitution. Proceedings of the 10th ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE2007) (Lecture Notes in Computer Science, vol. 4608), Schmidt HW, Crnkovic I, Heineman GT, Stafford JA (eds.). Springer: Berlin, 2007; 33-48.
29. Plásil F, Visnovsky S. Behavior protocols for software components. IEEE Transactions on Software Engineering 2002; 28(11):1056-1076.
30. OMG. Unified modeling language: Superstructure, version 2.0, 2002. http://www.omg.org/uml.
31. Lobo AE, de Guerra PAC, Filho FC, Rubira FCM. A systematic approach for the evolution of reusable software components. ECOOP'2005 Workshop on Architecture-Centric Evolution, Glasgow, July 2005.
32. Arévalo G, Desnos N, Huchard M, Urtado C, Vauttier S. Precalculating component interface compatibility using FCA. Proceedings of the 5th International Conference on Concept Lattices and their Applications (CLA. 2007), Montpellier, France, Diatta J, Eklund P, Liquière M (eds.), October 2007; 241-252.
33. Jones C. Systematic Software Development using VDM (2nd edn). Prentice-Hall: Englewood Cliffs NJ, 1990.
34. Abrial J-R. The B-Book, Assigning Programs to Meanings. Cambridge University Press: Cambridge, 1996.
35. Dechter R. Constraint Processing. Morgan Kaufmann: Los Altos CA, 2003.
36. Papadimitriou C, Steiglitz K. Combinatorial Optimisation, Algorithms and Complexity. Prentice-Hall: Englewood Cliffs NJ, 1982.
37. Harman M. The current state and future of search based software engineering. Future of Software Engineering (FOSE '07). IEEE Computer Society: Silver Spring MD, May 2007; 342-357.
38. Bagnall AJ, Rayward-Smith VJ, Whittley IM. The next release problem. Information & Software Technology 2001; 43(14):883-890.
39. Cechich A, Piattini M, Vallecillo A (eds.). Component-Based Software Quality: Methods and Techniques (Lecture Notes in Computer Science, vol. 2693). Springer: Berlin, 2003.