Morphing aspects: incompletely woven aspects and continuous weaving

ABSTRACT

Weaving is one of the fundamental mechanisms of aspect-oriented systems. A weaver composes different aspects with the base system by determining and adapting all parts where aspect specific elements are needed eventually. At runtime, timeconsuming join point checks are necessary to determine if at a certain join point aspect-specific code needs to be executed. Current technologies enforce such checks even in locations that only temporarily or under restrictive conditions (or even never) execute aspect-specific code. In more complex applications, a large number of these checks fail and just cause a substantial runtime overhead without contributing to the system's overall behavior. The main reason for this flaw is complete weaving, the way how aspects are woven to an application using current technologies. In this paper we discuss the problem of unnecessary join point checks caused by complete weaving. We introduce morphing aspects - incompletely woven aspects in combination with continuous weaving - to overcome the problem of futile join point checks.

REFERENCES

• 1: Aksit, M. (ed.): Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, Boston, MA, March 17--21, ACM, 2003.
• 2: Aksit, M.; Mezini, M.; Unland, R. (eds.): Objects, Components, Architectures, Services, and Applications for a Networked World, LNCS 2591, Springer-Verlag, 2003.
• 3: AspectS, version 0.5, Homepage, http://www.prakinf.tu-ilmenau.de/~hirsch/Projects/Squeak/AspectS/
• 4: 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]
• 5: John Brant , Brian Foote , Ralph E. Johnson , Don Roberts, Wrappers to the Rescue, Proceedings of the 12th European Conference on Object-Oriented Programming, p.396-417, July 20-24, 1998
• 6: Cibran, M.; D'Hondt, M.; Jonckers, V.: Aspect-Oriented Programming for Connecting Business Rules. In: Proc. of the 6th International Conference on Business Information Systems (BIS'03). Colorado Springs, USA, June 2003.
• 7: Comanche http server, version 6.1, http://squeak/dab.org/comanche/httpserver/index.html
• 8: CommandShell for Squeak - Version 3.0.1, http://minnow.cc.gatech.edu/squeak/1914
• 9: 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
• 10: Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
• 11: Kris Gybels , Johan Brichau, Arranging language features for more robust pattern-based crosscuts, Proceedings of the 2nd international conference on Aspect-oriented software development, p.60-69, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643610]
• 12: Stefan Hanenberg , Rainer Unland, Parametric introductions, Proceedings of the 2nd international conference on Aspect-oriented software development, p.80-89, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643612]
• 13: Hanenberg, S.; Schmidmeier, A.; Unland, R.: AspectJ Idioms for Aspect-Oriented Software Construction, 8th European Conference on Pattern Languages of Programs (EuroPLoP), Irsee, Germany, June 25--29, 2003.
• 14: Hanenberg, S.; Hirschfeld, R; Unland, R.: Aspect Weaving: Using the Base Language's Introspective Facilities to Determine Join Points, In: Workshop on Advancing the State-of-the-Art in Run-Time Inspection (at ECOOP), 2003, http://www.st.informatik.tu-darmstadt.de/pages/workshops/ASARTI03HanenbergASARTI03.pdf.
• 15: Stephan Herrmann, Object Teams: Improving Modularity for Crosscutting Collaborations, Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World, p.248-264, October 07-10, 2002
• 16: Robert Hirschfeld, AspectS - Aspect-Oriented Programming with Squeak, Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World, p.216-232, October 07-10, 2002
• 17: Gregor Kiczales , Erik Hilsdale, Aspect-oriented programming, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
• 18: 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
• 19: Kiczales, G. (ed.): Proceedings of the 1st International Conference on Aspect-Oriented Software Development, Enschede, The Netherlands, April 22--26, ACM, 2002.
• 20: Lopes, C.: AOP: A Historical Perspective. In: Filman, R.; Elrad, T.; Aksit, M.; Clarke, S. (eds.): Aspect-.Oriented Software Development, Addison-Wesley, 2004 (to appear).
• 21: 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
• 22: Masuhara, H.; Kiczales, G.; Dutchyn, C.: A Compilation and Optimization Model for Aspect-Oriented Programs, Proceedings of Compiler Construction (CC2003), LNCS 2622, Springer-Verlag, 2003, pp. 46--60.
• 23: Mira Mezini , Klaus Ostermann, Conquering aspects with Caesar, Proceedings of the 2nd international conference on Aspect-oriented software development, p.90-99, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643613]
• 24: Harold Ossher , Peri Tarr, Using multidimensional separation of concerns to (re)shape evolving software, Communications of the ACM, v.44 n.10, p.43-50, Oct. 2001 [doi>10.1145/383845.383856]
• 25: 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
• 26: 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]
• 27: 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]
• 28: Yoshiki Sato , Shigeru Chiba , Michiaki Tatsubori, A selective, just-in-time aspect weaver, Proceedings of the second international conference on Generative programming and component engineering, p.189-208, September 22-25, 2003, Erfurt, Germany
• 29: Damien Sereni , Oege de Moor, Static analysis of aspects, Proceedings of the 2nd international conference on Aspect-oriented software development, p.30-39, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643607]
• 30: Dominik Stein , Stefan Hanenberg , Rainer Unland, A UML-based aspect-oriented design notation for AspectJ, Proceedings of the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands [doi>10.1145/508386.508399]
• 31: Skotiniotis, T., Lieberherr, K., Lorenz, D. H.: Aspect Instances and their Interactions, Workshop on Software-engineering Properties of Languages for Aspect Technologies at AOSD'03, http://www.daimi.au.dk/~eernst/splat03/, 2003
• 32: Matthias Veit , Stephan Herrmann, Model-view-controller and object teams: a perfect match of paradigms, Proceedings of the 2nd international conference on Aspect-oriented software development, p.140-149, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643618]
• 33: Mitchell Wand , Gregor Kiczales , Christopher Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.890-910, September 2004 [doi>10.1145/1018203.1018208]