An implementation substrate for languages composing modularized crosscutting concerns

ABSTRACT

We present the implementation of several programming languages with support for multi-dimensional separation of concerns (MDSOC) on top of a common delegation-based substrate, which is a prototype for a dedicated MDSOC virtual machine. The supported MDSOC language constructs range from aspects, pointcuts and advice to dynamically scoped and activated layers. The presented language implementations show that the abstractions offered by the substrate are a viable target for high-level language compilers.

REFERENCES

• 1: Christoph Bockisch , Michael Haupt , Mira Mezini , Klaus Ostermann, Virtual machine support for dynamic join points, Proceedings of the 3rd international conference on Aspect-oriented software development, p.83-92, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976282]
• 2: C. Bockisch, M. Mezini, W. Havinga, L. Bergmans, and K. Gybels. Reference Model Implementation. Tech. Report AOSD-Europe deliv. D96, AOSD-Europe-TUD-8, TU Darmstadt, August 2007.
• 3: Bryan Ford, Parsing expression grammars: a recognition-based syntactic foundation, ACM SIGPLAN Notices, v.39 n.1, p.111-122, January 2004
• 4: Hans Schippers , Dirk Janssens , Michael Haupt , Robert Hirschfeld, Delegation-based semantics for modularizing crosscutting concerns, Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, October 19-23, 2008, Nashville, TN, USA
• 5: M. Haupt. Virtual Machine Support for Aspect-Oriented Programming Languages. PhD thesis, Darmstadt University of Technology, 2006.
• 6: M. Haupt and H. Schippers. A machine model for aspect-oriented programming. In ECOOP 2007, Berlin, Germany, volume 4609 of LNCS, pages 501--524. Springer, 2007.
• 7: R. Hirschfeld, P. Costanza, and O. Nierstrasz. Context-oriented Programming. Journal of Object Technology (JOT), 7(3):125--151, March-April 2008.
• 8: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Aksit and S. Matsuoka, editors, ECOOP '97, volume 1241 of LNCS, pages 220--242. Springer, 1997.
• 9: Henry Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, Conference proceedings on Object-oriented programming systems, languages and applications, p.214-223, September 29-October 02, 1986, Portland, Oregon, United States
• 10: H. Masuhara, G. Kiczales, and C. Dutchyn. A Compilation and Optimization Model for Aspect-Oriented Programs. In G. Hedin, editor, CC 2003, volume 2622 of LNCS, pages 46--60. Springer, 2003.
• 11: Angela Nicoara , Gustavo Alonso , Timothy Roscoe, Controlled, systematic, and efficient code replacement for running java programs, Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008, April 01-04, 2008, Glasgow, Scotland UK
• 12: Harold Ossher, A direction for research on virtual machine support for concern composition, Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms, p.5-es, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1230136.1230141]
• 13: I. Piumarta. Accessible Language-Based Environments of Recursive Theories. Technical Report VPRI Research Note RN 2006-001-a, Viewpoints Research Institute, 2006.
• 14: I. Piumarta and A. Warth. Open, Reusable Object Models. Technical Report VPRI Research Note RN 2006-003-a, Viewpoints Research Institute, 2006.
• 15: Andrei Popovici , Thomas Gross , Gustavo Alonso, Dynamic weaving for aspect-oriented programming, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands [doi>10.1145/508386.508404]
• 16: Andrei Popovici , Gustavo Alonso , Thomas Gross, Just-in-time aspects: efficient dynamic weaving for Java, Proceedings of the 2nd international conference on Aspect-oriented software development, p.100-109, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643614]
• 17: M. C. Skipper. Formal Models for Aspect-Oriented Software Development. PhD thesis, Imperial College, London, 2004.
• 18: Éric Tanter , Jacques Noyé , Denis Caromel , Pierre Cointe, Partial behavioral reflection: spatial and temporal selection of reification, Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, October 26-30, 2003, Anaheim, California, USA
• 19: Peri Tarr , Harold Ossher , William Harrison , Stanley M. Sutton, Jr., N degrees of separation: multi-dimensional separation of concerns, Proceedings of the 21st international conference on Software engineering, p.107-119, May 16-22, 1999, Los Angeles, California, United States [doi>10.1145/302405.302457]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.4 Processors
          Subjects: Run-time environments

Keywords:
aspect-oriented programming, context-oriented programming, crosscutting concerns, language implementation, machine model, modularization