Three approaches to object evolution

ABSTRACT

Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by which an object may gain, but never lose properties. We argue that evolution is an expressive and useful language construct and can be implemented efficiently. Further, the monotonicity property of evolution promotes static type-safety better than general reclassification. We describe three concrete variants of evolution, relying on inheritance, mixins and shakeins, and explain how any combination of these can be integrated into a concrete programming language. We chart the language design space, mention our implementation, and introduce the notion of evolvers, a critical mechanism for maintaining class invariants in the course of reclassification.

References

1. A. Albano et al. Fibonacci: A programming language for object databases. The VLDB J., 4(3):403--444, 1995.
2. D. Ancona et al. Jam-designing a Java extension with mixins. ACM Trans. on Prog. Lang. Syst., 25(5), 2003.
3. K. Beck. Instance specific behavior: how and why. The Smalltalk Report, 2(6):13--15, March-April 1993.
4. J. Bloch. Effective Java, 2nd Edition. Addison-Wesley, 2008.
5. G. Bracha and W. R. Cook. Mixin-based inheritance. In OOPSLA/ECOOP'90.
6. C. Chambers. Predictable classes. In ECOOP'93.
7. T. Cohen and J. Gil. AspectJ2EE = AOP+J2EE. In ECOOP'04.
8. T. Cohen and J. Gil. Shakeins: Non-intrusive aspects for middleware frameworks. In Trans. AOSD, Nov. 2006.
9. P. Costanza. Dynamic replacement of active objects in the Gilgul programming language. In IFIP/ACM Working Conf.
10. F. Damiani et al. Re-classification and multi-threading: Fickle_MT. In SAC'04.
11. F. Damiani et al. Refined effects for unanticipated object re-classification: Fickle₃ (extended abstract). In ICTCS'03.
12. S. Drossopoulou et al. Fickle: Dynamic object re-classification. In ECOOP'01.
13. S. Drossopoulou et al. More dynamic object re-classification: Fickle_II. ACM TOPLAS, March 2002.
14. E. Gamma et al. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
15. G. Ghelli. Foundations for extensible objects with roles. Inf. Comput., 175(1):50--75, 2002.
16. G. Ghelli and D. Palmerini. Foundations of extensible objects with roles (extended abstract). In FOOL'6, 1999.
17. P. D. Gianantonio et al. A lambda calculus of objects with self-inflicted extension. In OOPSLA'98.
18. A. Goldberg and D. Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, 1983.
19. Y. Hollander, M. Morley, and A. Noy. The e language: A fresh separation of concerns. In TOOLS'01 Europe.
20. P. Kenens et al. An AOP case with static and dynamic aspects. In ECOOP'98 Workshop Reader.
21. G. Kiczales et al. An overview of AspectJ. In ECOOP'01.
22. B. Meyer. Object Oriented Software Construction, 2nd ed. Prentice-Hall, 1997.
23. R. Pawlak et al. JAC: An aspect-based distributed dynamic framework. Soft. - Pract. and Exper., 34(12), 2004.
24. A. Popovici, T. R. Gross, and G. Alonso. Dynamic weaving for aspect-oriented programming. In AOSD'02.
25. M. Serrano. Wide classes. In ECOOP'99.
26. A. Taivalsaari. Object-oriented programming with modes. J. of OO Prog., 6(3):25--32, June 1993.

Index Terms

• Software and its engineering

  • Software notations and tools

    • Compilers

    • General programming languages

      • Language features

        • Classes and objects

      • Language types

        • Object oriented languages