Towards a unified formal model for supporting mechanisms of dynamic component update

ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

Volumn , Issue , 2005, Pages 80-89

  Shen, Junrong ^a   Sun, Xi ^a   Huang, Gang ^a   Jiao, Wenpin ^a   Sun, Yanchun ^a   Mei, Hong ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

Architectural Connector; CSP; Dynamic Update; Software Architecture

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; MATHEMATICAL MODELS; PROCESS CONTROL;

ARCHITECTURAL CONNECTOR; DYNAMIC UPDATE; SOFTWARE ARCHITECTURE;

COMPUTER SOFTWARE;

EID: 32344432671     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1095430.1081720     Document Type: Conference Paper

References (42)

1. J. Akkanen, A. Kiss, and J. K. Nurminen. Evolution of a software component - experiences with a network editor component. In Proceedings of the Sixth European Conference on Software Maintenance and Reengineering (CSMR), pages 119-125, 2002.
2. R. J. Allen. A Formal Approach to Software Architecture. Ph.D. Thesis, Carnegie Mellon University, 1997.
3. M. Dmitriev. Towards flexible and safe technology for runtime evolution of Java language applications. In Proceedings of the Workshop on Engineering Complex Object-Oriented Systems for Evolution, pages 14-18, October 2001.
4. D. Duggan. Type-based hot swapping of running modules. SIGPLAN Notices, 36(10):50-61, September 2001.
5. I. Foster, J. Frey, S. Graham, et al. Modeling Stateful Resources with Web Services, Version 1.1, 2004.
6. N. Feng, G. Ao, T. White, and B. Pagurek. Dynamic evolution of network management software by software hot-swapping. In Proceedings of IEEE/IFIP International Symposium on Integrated Network Management(IM), pages 63-76, May 2001.
7. Formal Systems. FDR2 Homepage. http://www.fsel.com/software.html.
8. R. Gardler and N. Mehandjiev. Supporting component-based software evolution. In International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World, pages 103-120, October 2002.
9. M. L. Griss and R. R. Kessler. Achieving the promise of reuse with agent components. Lecture Notes in Computer Science, 2603:139-147, 2003.
10. D. Gupta, P. Jalote, and G. Barua. A formal framework for on-line software version change. IEEE Trans. Software Eng., 22(2):120-131, February 1996.
11. G. Huang, H. Mei and Q. Wang. Towards Software Architecture at Runtime. ACM SIGSOFT Software Engineering Notes,28(2),March 2003.
12. G. Huang, H. Mei and F. Yang. Dynamic Recovery and Manipulation of Software Architecture of Component-based Systems. International Journal of Automated Software Engineering, Springer, 13(2), to appear, 2006.
13. S. Hauptmann and J. Wasel. On-line maintenance with on-the-fly software replacement. In Proceedings of third international conference on configurable distributed systems, pages 70-80, May 1996.
14. M. Hicks. Dynamic Software Updating. Ph.D thesis, Computer and Information Science Department, University of Pennsylvania, 2000.
15. C. Hoare. Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs, New Jersey, 1985.
16. N. Janssens, S. Michiels, T. Holvoet, and P. Verbaeten. A modular approach enforcing safe reconfiguration of producer-consumer applications. In Proceedings of International Conference on Software Maintenance, pages 274-283, October 2004.
17. N. Janssens, S. Michiels, T. Mahieu, and P. Verbaeten. Towards transparent hot-swapping support for producer-consumer components. In Proceedings of Second International Workshop on Unanticipated Software Evolution (USE), 2003.
18. J. Kramer and J. Magee. The evolving philosophers problem: dynamic change management. IEEE Trans. on Software Engg., 16(11): 1293-1306, November 1990.
19. R. Laddaga and J. Veitch. Dynamic object technology. Communications of the ACM, 40(5):36-38, May 1997.
20. I. Lee. DYMOS: A Dynamic Modification System. PhD thesis, University of Wisconsin, 1983.
21. M. M. Lehman and J. F. Ramil. Software evolution in the age of component based software engineering. IEE Proc. Softw., sp. issue on Component Based Software Eng., 147(6):249-255, June 2000.
22. J. Lyu, Y. Kim, Y. Kim, and I. Lee. A procedure-based dynamic software update. In Proceeding of The International Conference on Dependable Systems and Networks(DSN), pages 271-284, July 2001.
23. S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes. Runtime support for type-safe dynamic Java classes. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), pages 337-661, June 2000.
24. N. Medvidovic, E. M. Dashofy, and R. N. Taylor. The role of middleware in architecture-based software development. International Journal of Software Engineering and Knowledge Engineering, 13(4):367-393, April 2003.
25. N. R. Mehta, N. Medivdovic, and S. Phadke. Towards a taxonomy of software connectors. In Proceedings of the 22nd international conference on Software engineering, pages 178-187, June 2000.
26. H. Mei and G. Huang. PKUAS: An architecture-based reflective component operating platform. In 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS), pages 163-169, May 2004.
27. M.Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
28. A. Orso, D. Liang, M. Harrold, and R. Lipton. Gamma system: Continuous evolution of software after deployment. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pages 163-169, July 2002.
29. A. Orso, A. Rao, and M. Harrold. A technique for dynamic update of Java software. In Proceedings of International Conference on Sofware Maintenance(ICSM), pages 649-658, October 2002.
30. Object Management Group, The Common Object Request Broker: Architecture and Specification, Version 3.0, formal/02-06-01, 2002.
31. F. Plasil, D. Balek, and R. Janecek. SOFA/DCUP: Architecture for component trading and dynamic update. In Proceedings of the 4th International Conference on Configurable Distributed Systems (ICCDS), pages 35-42, May 1998.
32. M. Rakic and N. Medvidovic. Increasing the confidence in off-the-shelf components: A software connector-based approach. In Proceedings of the 2001 symposium on Software reusability, pages 11-18, 2001.
33. S. Schneider. Concurrent and Real-time Systems: The CSP Approach. John Wiley & Sons, 2000.
34. M. E. Segal and O. Frieder. On-the-fly program modification: Systems for dynamic update. IEEE Software, 10(2):53-65, February 1993.
35. B. Spitznagel and D. Garlan. A compositional formalization of connector wrappers. In Proceedings of the 25th international conference on Software engineering, pages 374-384, May 2003.
36. N. Sridhar, S. M. Pike, and B. W. Weide. Dynamic module replacement in distributed protocols. In Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS), pages 620-627, 2003.
37. Sun Microsystems. Enterprise Java Bean (EJB). http://java.sun.com/products/ejb.
38. Sun Microsystems. Java 2 Platform, Enterprise Edition Specification. http://java.sun.com/j2ee/1.4/index.jsp.
39. Sun Microsystems. Java Document for Reflection. http://java.sun.com/j2se/1.3/docs/guide/reflection/.
40. Y. Vandewoude and Y. Berbers. Run-time evolution for embedded component-oriented systems. In Proceedings of International Conference on Software Maintenance(ICSM), pages 242-245, October 2002.
41. Q. Wang, F. Chen, H. Mei, and F. Yang. An application server to support online evolution. In Proceedings of International Conference on Software Maintenance(ICSM), pages 131-140, October 2002.
42. Yankee Group. How much is an hour of downtime worth to you? Must-Know Business Continuity Strategies, pages 178-187, July 2002.