Reflective composition: the declarative composition of roles to unify objects, roles, and aspects

ABSTRACT

As bases for object-orientation, both class-based and prototype-based organization have limitations. We argue that roles have significant benefits as a foundation for organizing objects. We further argue that these benefits can be realised most flexibly using logic meta-programming. Additional benefits from this approach are to reduce redundancy and subsume aspects.

REFERENCES

• 1: Reenskaug, T., Working with Objects: The OORAM Software Engineering Method. 1995. Greenwich, Connecticut: Manning Publications.
• 2: Antero Taivalsaari, On the notion of inheritance, ACM Computing Surveys (CSUR), v.28 n.3, p.438-479, Sept. 1996 [doi>10.1145/243439.243441]
• 3: Friedrich Steimann, On the representation of roles in object-oriented and conceptual modelling, Data & Knowledge Engineering, v.35 n.1, p.83-106, Oct. 2000 [doi>10.1016/S0169-023X(00)00023-9]
• 4: Henry Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, ACM SIGPLAN Notices, v.21 n.11, p.214-223, Nov. 1986
• 5: David Ungar , Randall B. Smith, SELF: the power of simplicity, Lisp and Symbolic Computation, v.4 n.3, p.187-205, July 1991 [doi>10.1007/BF01806105]
• 6: Scharli, N., et al. Traits: Decomposable Units of Behaviour. in ECOOP 2003 European Conference on Object-Oriented Programming. 2003. Springer Verlag.
• 7: Randall B. Smith , David Ungar, A simple and unifying approach to subjective objects, Theory and Practice of Object Systems, v.2 n.3, p.161-178, 1996 [doi>10.1002/(SICI)1096-9942(1996)2:3<161::AID-TAPO3>3.0.CO;2-Z]
• 8: Craig Chambers , David Ungar , Bay-Wei Chang , Urs Hölzle, Parents are shared parts of objects: inheritance and encapsulation in SELF, Lisp and Symbolic Computation, v.4 n.3, p.207-222, July 1991 [doi>10.1007/BF01806106]
• 9: Elizabeth A. Kendall, Role model designs and implementations with aspect-oriented programming, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.353-369, November 01-05, 1999, Denver, Colorado, United States
• 10: Eco, E., The search for the perfect language (Ricerca della lingua netta cultura europa). 1995. Oxford, Blackwell.
• 11: Daniel Bardou , Christophe Dony, Split objects: a disciplined use of delegation within objects, ACM SIGPLAN Notices, v.31 n.10, p.122-137, Oct. 1996
• 12: Georg Gottlob , Michael Schrefl , Brigitte Röck, Extending object-oriented systems with roles, ACM Transactions on Information Systems (TOIS), v.14 n.3, p.268-296, July 1996 [doi>10.1145/230538.230540]
• 13: Gybels, K., Using a logic language to express cross-cutting through dynamic joinpoints. Proceedings of Second German Workshop on Aspect-Oriented Software Development. Technical Report IAI-TR-2002-1. 2002.
• 14: Krzysztof Czarnecki , Ulrich W. Eisenecker, Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, 2000
• 15: Lopez, C.V. and W.L. Hursch, Separation of Concerns. College of Computer Science, NorthEastern University, Boston, MA. 1995.
• 16: Filman, R.E. and D.P. Friedman. Aspect Oriented Programming is Quantification and Obliviousness. in Workshop on Advanced Separation of Concerns, OOPSLA. 2000. Minneapolis.
• 17: Harold Ossher , Matthew Kaplan , William Harrison , Alexander Katz , Vincent Kruskal, Subject-oriented composition rules, ACM SIGPLAN Notices, v.30 n.10, p.235-250, Oct. 17, 1995
• 18: Kiczales, K. Aspect Oriented Programming. in ECOOP 97 Proceedings of European Conference on Object Oriented Programming. 1997. Springer Verlag.
• 19: Gedenryd, H., Beyond Inheritance, Aspects and Roles: A unified Scheme for Object and Program Composition. Department of Computing, Open University Technical Report TR 2002/09. 2002.
• 20: Gedenryd, H., Holland S. and Morse, D.R. Meeting the Software Engineering Challenges of Interacting with Dynamic and Ad-hoc Computing Environments. Department of Computing, Open University Technical Report TR 2002/08. 2002.

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.5 Object-oriented Programming

General Terms:
Design, Experimentation, Languages, Theory

Keywords:
aspects, composition, generative programming, logic meta programming, role models, roles