Arranging language features for more robust pattern-based crosscuts

ABSTRACT

A crosscut language is used to describe at which points an aspect crosscuts a program. An important issue is how these points can be captured using the crosscut language without introducing tight coupling between the aspect and the program. Such tight coupling harms the evolvability of the program and the reusability of the aspect. Current pattern-based capturing already offers a certain decoupling between aspects and the program but it may still suffer from what we call the arranged pattern problem. In this paper, we discuss this problem and present a logic-based crosscut language from which we distill what language features are beneficial to avoid this problem.

REFERENCES

• 1: Johan Brichau , Kim Mens , Kris De Volder, Building Composable Aspect-Specific Languages with Logic Metaprogramming, The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering, p.110-127, October 06-08, 2002
• 2: Johan Brichau, Wolfgang De Meuter, and Kris De Volder. Jumping aspects. In Tarr et al. {32}.
• 3: Yvonne Coady and Gregor Kiczales. Exploring an Aspect-Oriented approach to OS code. In Tarr et al. {31}.
• 4: Rémi Douence, Olivier Motelet, and Mario Südholt. A formal definition of crosscuts. Technical Report 01/3/INFO, Ecole des Mines de Nantes, 2001.
• 5: Robert E. Filman. Aspect-oriented programming is quantification and obliviousness. In Tarr et al. {31}.
• 6: Peter Flach. Simply Logical. John Wiley & Sons, 1994.
• 7: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 8: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 9: Kris Gybels. Aspect-Oriented Programming using a Logic Meta Programming language to express cross-cutting through a dynamic joinpoint structure. Licentiate's thesis, Vrije Universiteit Brussel, 2001.
• 10: Jim Hugunin. The next steps for aspect-oriented programming languages (in java). In Workshop on New Visions for Software Design and Productivity: Research and Applications, 2001.
• 11: Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
• 12: Mik Kersten , Gail C. Murphy, Atlas: a case study in building a web-based learning environment using aspect-oriented programming, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.340-352, November 01-05, 1999, Denver, Colorado, United States
• 13: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William Griswold, Getting started with ASPECTJ, Communications of the ACM, v.44 n.10, p.59-65, Oct. 2001 [doi>10.1145/383845.383858]
• 14: 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
• 15: Gregor Kiczales, Jim Hugunin, Mik Kersten, John Lamping, Cristina Lopes, and William G. Griswold. Semantics-based crosscutting in aspectj. In Peri Tarr, Anthony Finkelstein, William Harrison, Bashar Nuseibeh, Harold Ossher, and Dewayne Perry, editors, Workshop on Multi-Dimensional Separation of Concerns in Software Engineering at ICSE 2000, 2000.
• 16: Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In Proceedings of the European conference on Object-Oriented Programming. Springer-Verlag, jun 1997.
• 17: Martin Lippert , Cristina Videira Lopes, A study on exception detection and handling using aspect-oriented programming, Proceedings of the 22nd international conference on Software engineering, p.418-427, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337229]
• 18: Cristina Lopes, Gregor Kiczales, Bedir Tekinerdogan, and Wolfgang de Meuter, editors. International Workshop on Aspect-Oriented Programming at ECOOP, 1998.
• 19: Cristina Videira Lopes. D: A language framework for distributed programming. Technical Report SPL97-010, P9710047, Xerox PARC, 1997.
• 20: Cristina Videira Lopes. Recent developments in AspectJ. In Lopes et al. {18}.
• 21: Hidehiko Masuhara, Gregor Kiczales, and Chris Dutchyn. Compilation semantics of aspect-oriented programs. In Gary T. Leavens and Ron Cytron, editors, Foundations of Aspect-Oriented Languages Workshop at AOSD 2002, number 02--06 in Tech Report, pages 17--26. Department of Computer Science, Iowa State University, 2002.
• 22: Anurag Mendhekar, Gregor Kiczales, and John Lamping. RG: A case study for Aspect-Oriented Programming. Technical Report SPL97-009 P9710044, Xerox Palo Alto Research Center, 1997.
• 23: Kim Mens, Isabel Michiels, and Roel Wuyts. Supporting software development through declaratively codified programming patterns. In Proceedings of the 13th SEKE Conference, pages 236--243. Knowledge Systems Institute, 2001.
• 24: Naftaly H. Minsky, Law-governed regularities in object systems: part I: an abstract model, Theory and Practice of Object Systems, v.2 n.4, p.283-301, 1996 [doi>10.1002/(SICI)1096-9942(1996)2:4<283::AID-TAPO4>3.0.CO;2-V]
• 25: Doug Orleans , Karl J. Lieberherr, DJ: Dynamic Adaptive Programming in Java, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, p.73-80, September 25-28, 2001
• 26: Harold Ossher , Peri Tarr, Hyper/J: multi-dimensional separation of concerns for Java, Proceedings of the 22nd international conference on Software engineering, p.734-737, June 04-11, 2000, Limerick, Ireland [doi>10.1145/337180.337618]
• 27: Renaud Pawlak , Lionel Seinturier , Laurence Duchien , Gerard Florin, JAC: A Flexible Solution for Aspect-Oriented Programming in Java, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, p.1-24, September 25-28, 2001
• 28: 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]
• 29: Andreas Speck, Elke Pulvemüller, and Mira Mezini. Reusability of concerns. In Tarr et al. {32}.
• 30: Mario Südholt and Pascal Fradet. Aop: towards a generic framework using program transformation and analysis. In Lopes et al. {18}.
• 31: Peri Tarr, Lodewijk Bergmans, Martin Griss, and Harold Ossher, editors. Proceedings of the Workshop on Advanced Separation of Concerns at OOPSLA 2000, 2000.
• 32: Peri L. Tarr , Maja D'Hondt , Lodewijk Bergmans , Cristina Videira Lopes, Workshop on Aspects and Dimensions of Concern: Requirements on, and Challenge Problems for, Advanced Separation of Concerns, Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology, p.203-240, June 12-16, 2000
• 33: Kris De Volder , Theo D'Hondt, Aspect-Orientated Logic Meta Programming, Proceedings of the Second International Conference on Meta-Level Architectures and Reflection, p.250-272, July 19-21, 1999
• 34: Detlef Vollmann. Visibility of join-points in AOP and implementation languages. In Pascal Constanza, Gunther Kniesel, Katharina Mehner, Elke Pulvermuller, and Andreas Speck, editors, Second Workshop on Aspect-Oriented Software Development, 2002.
• 35: R. Wuyts, Declarative Reasoning about the Structure of Object-Oriented Systems, Proceedings of the Technology of Object-Oriented Languages and Systems, p.112, August 03-07, 1998

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Languages

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.3 Software Management
          Subjects: Software development

General Terms:
Design, Languages