Transparent shaping of existing software to support pervasive and autonomic computing

ABSTRACT

The need for adaptability in software is growing, driven in part by the emergence of pervasive and autonomic computing. In many cases, it is desirable to enhance existing programs with adaptive behavior, enabling them to execute effectively in dynamic environments. In this paper, we propose a general programming model called transparent shaping to enable dynamic adaptation in existing programs. We describe an approach to implementing transparent shaping that combines four key software development techniques: aspect-oriented programming to realize separation of concerns at development time, behavioral reflection to support software reconfiguration at run time, component-based design to facilitate independent development and deployment of adaptive code, and adaptive middleware to encapsulate the adaptive functionality. After presenting the general model, we discuss two specific realizations of transparent shaping that we have developed and used to create adaptable applications from existing programs.

REFERENCES

• 1: Philip K. McKinley , Seyed Masoud Sadjadi , Eric P. Kasten , Betty H. C. Cheng, Composing Adaptive Software, Computer, v.37 n.7, p.56-64, July 2004 [doi>10.1109/MC.2004.48]
• 2: M. Weiser, Ubiquitous Computing, Computer, v.26 n.10, p.71-72, October 1993 [doi>10.1109/2.237456]
• 3: Jeffrey O. Kephart , David M. Chess, The Vision of Autonomic Computing, Computer, v.36 n.1, p.41-50, January 2003 [doi>10.1109/MC.2003.1160055]
• 4: David L. Parnas. On the design and development of program families. IEEE Transactions on Software Engineering, March 1976.
• 5: Peri Tarr , Harold Ossher, Workshop on advanced separation of concerns in software engineering, Proceedings of the 23rd International Conference on Software Engineering, p.778-779, May 12-19, 2001, Toronto, Ontario, Canada
• 6: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J. M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Springer-Verlag LNCS 1241, June 1997.
• 7: Communications of the ACM, Special Issue on Aspect-Oriented Programming, volume 44, October 2001.
• 8: Pattie Maes, Concepts and experiments in computational reflection, Conference proceedings on Object-oriented programming systems, languages and applications, p.147-155, October 04-08, 1987, Orlando, Florida, United States
• 9: Gregor Kiczales , Jim des Rivières , Daniel G. Bobrow, The art of metaobject protocol, MIT Press, Cambridge, MA, 1991
• 10: Pierre Charles David, Thomas Ledoux, and Noury M. N. Bouraqadi-Saadani. Two-step weaving with reflection using AspectJ. In OOPSLA 2001 Workshop on Advanced Separation of Concerns in Object-Oriented Systems, Tampa, October 2001.
• 11: Clemens Szyperski, Component software: beyond object-oriented programming, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998
• 12: David E. Bakken. Middleware. Kluwer Academic Press, 2001.
• 13: Proceedings of the Middleware'2000 Workshop on Reflective Middleware (RM2000), New York, April 2000.
• 14: Z. Yang , B. H. C. Cheng , R. E. K. Stirewalt , J. Sowell , S. M. Sadjadi , P. K. McKinley, An aspect-oriented approach to dynamic adaptation, Proceedings of the first workshop on Self-healing systems, November 18-19, 2002, Charleston, South Carolina [doi>10.1145/582128.582144]
• 15: Object Management Group, Framingham, Massachusett. The Common Object Request Broker: Architecture and Specification Version 3.0, July 2003.
• 16: Geoff A. Cohen, Jeffrey S. Chase, and David Kaminsky. Automatic program transformation with JOIE. In 1998 Usenix Technical Conference, June 1998.
• 17: S. Adve, A. Harris, C. Hughes, D. Jones, R. Kravets, K. Nahrstedt, D. Sachs, R. Sasanka, J. Srinivasan, and W. Yuan. The Illinois GRACE project: Global resource adaptation through cooperation, 2002.
• 18: Distributed extensible open systems (the DEOS project), 2004. Georgia Institute of Technology - College of Computing.
• 19: F. A. Samimi , P. K. McKinley , S. M. Sadjadi , P. Ge, Kernel-middleware interaction to support adaptation in pervasive computing environments, Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing, p.140-145, October 18-22, 2004, Toronto, Ontario, Canada [doi>10.1145/1028509.1028516]
• 20: S. M. Sadjadi , P. K. McKinley, ACT: An Adaptive CORBA Template to Support Unanticipated Adaptation, Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04), p.74-83, March 24-26, 2004
• 21: Transparent Self-Optimization in Existing CORBA Applications, Proceedings of the First International Conference on Autonomic Computing (ICAC'04), p.88-95, May 17-18, 2004
• 22: John A. Zinky, David E. Bakken, and Richard E. Schantz. Architectural support for quality of service for CORBA objects. Theory and Practice of Object Systems, 3(1), 1997.
• 23: S. Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, and R. E. Kurt Stirewalt. TRAP/J: Transparent generation of adaptable java programs. In Proceedings of the International Symposium on Distributed Objects and Applications (DOA'04), Agia Napa, Cyprus, October 2004.
• 24: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 25: Scott D. Fleming , Betty H. C. Cheng , R. E. Kurt Stirewalt , Philip K. McKinley, An approach to implementing dynamic adaptation in C++, Proceedings of the 2005 workshop on Design and evolution of autonomic application software, May 21-21, 2005, St. Louis, Missouri
• 26: Shigeru Chiba and Takashi Masuda. Designing an extensible distributed language with a meta-level architecture. Lecture Notes in Computer Science, 707, 1993.
• 27: Douglas C. Schmidt, Middleware for real-time and embedded systems, Communications of the ACM, v.45 n.6, June 2002 [doi>10.1145/508448.508472]
• 28: Lodewijk Bergmans , Mehmet Aksit, Composing crosscutting concerns using composition filters, Communications of the ACM, v.44 n.10, p.51-57, Oct. 2001 [doi>10.1145/383845.383857]
• 29: Roberto Baldoni , Carlo Marchetti , Alessandro Termini, Active Software Replication through a Three-Tier Approach, Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems (SRDS'02), p.109, October 13-16, 2002
• 30: Erez Hadad. Architectures for Fault-Tolerant Object-Oriented Middleware Services. PhD thesis, Computer Science Department, The Technion - Israel Institute of Technology, 2001.
• 31: Ossama Othman. The design, optimization, and performance of an adaptive middleware load balancing service. Master's thesis, University of California, Irvine, 2002.
• 32: Barry Redmond , Vinny Cahill, Supporting Unanticipated Dynamic Adaptation of Application Behaviour, Proceedings of the 16th European Conference on Object-Oriented Programming, p.205-230, June 10-14, 2002
• 33: A. Popovici, T. Gross, and G. Alonso. Dynamic homogenous AOP with PROSE. Technical report, Department of Computer Science, Federal Institute of Technology, Zurich, 2001.
• 34: Alexandre Oliva and Luiz Eduardo Buzato. The implementation of Guaraná on Java. Technical Report IC-98-32, Universidade Estadual de Campinas, September 1998.
• 35: L. Moser, P. Melliar-Smith, P. Narasimhan, L. Tewksbury, and V. Kalogeraki. The Eternal system: An architecture for enterprise applications. In Proceedings of the Third International Enterprise Distributed Object Computing Conference (EDOC'99), July 1999.
• 36: Victor C. Zandy , Barton P. Miller, Reliable network connections, Proceedings of the 8th annual international conference on Mobile computing and networking, September 23-28, 2002, Atlanta, Georgia, USA [doi>10.1145/570645.570657]
• 37: S. Masoud Sadjadi , Philip K. Mckinley, Transparent shaping of existing software to support pervasive and autonomic computing, 2004
• 38: Ji Zhang, Zhenxiao Yang, Betty H. C. Cheng, and Philip K. McKinley. Adding safeness to dynamic adaptation techniques. In Proceedings of the ICSE 2004 Workshop on Architecting Dependable Systems, Edinburgh, Scotland, May 2004.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Code generation

General Terms:
Design, Languages, Reliability

Keywords:
dynamic adaptation, middleware, program families