Semantics-directed implementation of method-call interception

IEE Proceedings: Software

Volumn 151, Issue 2, 2004, Pages 109-127

  Lammel R ^a,b   Stenzel, C ^c  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b CWI   (Netherlands)

^c Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAM LISTINGS; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SYSTEMS ANALYSIS;

METHOD CALL INTERCEPTION; PROGRAM EXECUTION; RUN TIME EVOLUTION; SOURCE CODE INSTRUMENTATION;

SEMANTICS;

EID: 2942746603     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20040080     Document Type: Article

References (45)

1. Lämmel, R.: 'A semantical approach to method-call interception'. Proc. 1st Int. Comp. on Aspect-oriented Software Development (AOSD), Enschede, Netherlands, 22-26 April 2002, pp. 41-55
2. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., and Irwin, J.: 'Aspect-oriented programming', Lect. Notes Comput. Sci., 1997, 1241, pp. 220-242
3. Aksit, M., Wakita, K., Bosch, J., Bergmans, L., and Yonezawa, A.: 'Abstracting object interactions using composition filters', Lect. Notes Comput. Sci., 1994, 791, pp. 152-184
4. Elrad, T., Filman, R.E., and Bader, A.: 'Aspect-oriented programming: Introduction', Commun. ACM, 2001, 44, (10), pp. 29-32
5. AspectJ.org Site © XEROX Corporation, 2002. http://aspectj.org
6. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., and Griswold, W.G.: 'An overview of Aspect', Lect. Notes Comput. Science, 2001, 2072, pp. 327-353
7. Kiselev, I.: 'Aspect-oriented programming with AspectJ' (Sams Publishing, Indianapolis, IN, 2003)
8. Popovic, A., Gross, T., and Alonso, G.: 'Dynamic weaving for aspect oriented programming'. Proc. 1st Int. Comp. on Aspect-oriented Software Development (AOSD), Enschede, Netherlands, 22-26 April 2002, pp. 141-147
9. Pinto, M., Fuentes, L., Fayad, M., and Troya, J., 'Separation of coordination in a dynamic aspect oriented framework'. Proc. 1st Int. Conf. on Aspect-oriented Software Development (AOSD), 22-26 April 2002, pp. 134-140
10. Akkawi, F., Bader, A., and Elrad, T.: 'Dynamic weaving for building reconfigurable software Systems'. Proc. OOPSLA 2001 Workshop on Advanced Separation of Concerns in Object-Oriented Systems, Tampa Bay, FL, 14-18 October 2001
11. Kahn, G.: 'Natural semantics', Lect. Notes Comput. Sci., 1987, 247, pp. 22-39
12. Despeyroux, T.: 'TYPOL: A formalism to implement natural semantics'. Technical report 94, INRIA, March 1988
13. The Rule Evolution Kit, version 0.50, 29 2004, http://www.cs.vu.nl/rek/
14. Pleban, U.F.: 'Compiler prototyping using formal semantics'. Proc. ACM SIGPLAN Symp. on Compiler Construction, Montreal, Canada, 17-22 June 1984, pp. 94-105
15. Lee, P.: 'Realistic compiler generation', Foundations of Computing Series (MIT Press, Cambridge, MA, 1989)
16. Kiczales, G., Des Rivieres, J., and Bobrow, D.: 'The art of the metaobject protocol' (MIT Press, Cambridge, MA, 1991)
17. Brandt, S., and Schmidt, R.W.: 'The design of a meta-level architecture for the BETA language'. Proc. META: Workshop on Advances in Metaobject Protocols and Reflection at European Conf. on Object-oriented Programming (ECOOP), Åarhus, Denmark, August 1995
18. Kleinoeder, J., and Golm, M.: 'MetaJava: an efficient run-time meta architecture for Java'. In Cabrera, L.-F., and Islam, N. editors, Proc. 5th Int. Workshop on Object-orientation in Operating Systems, IEEE, Seattle, WA, 27-28 October 1996, pp. 54-61
19. De Oliveira Guimarães J.: 'Reflection for statically typed languages', Lect. Notes Comput. Sci., 1998, 1445, pp. 440-461
20. Golm, M., and Kleinöder, J.: 'Jumping to the meta level: behavioral reflection can be fast and flexible', Lect. Notes Comput. Sci., 1999, 1616, pp. 22-39
21. Welch, I., and Stroud, R.: 'From Dalang to Kava - the evolution of a reflective java extension', Lect. Notes Comput. Sci., 1999, 1616, pp. 2-21
22. Baker, J., and Hsieh, W.: 'Runtime aspect weaving through metaprogramming'. Proc. 1st. Int. Comp. on Aspect-oriented Software Development (AOSD), Enschede, Netherlands, 22-26 April 2002, pp. 86-95
23. Avdi, E., Mernik, M., Lenic, M.M., and Zumer, V.: 'Experimental aspect-oriented language - AspectCool'. Proc. 17th ACM Symp. on Applied Computing, Madrid, Spain, 11-14 March 2002
24. Popovici, A., Alonso, G., and Gross, T.: 'Just-in-time aspects: efficient dynamic weaving for java'. Proc. 2nd Int. Conf. on Aspect-oriented Software Development, Boston, MA, 17-21 March 2003, pp. 100-109
25. Austermann, M., JMangler Homgepage, 2002. http://javalab.cs.uni-bonn.de/research/jmangler/index.html, accessed 1 March 2003
26. Pawlak, R., Seinturier, L., Duchien, L., and Florin, G.: 'JAC: a flexible framework for AOP in Java', Lect. Notes Comput. Sci., 2001, 2192, pp. 1-24
27. JAC - Java Aspect Components Site © CEDRIC Laboratory, 2002, http://jac.aopsys.com
28. Bougé, L., and Francez, N.: 'A compositional approach to superimposition'. Proc. Conf. on Principles of Programming Languages (POPL), San Diego, CA, 13-15 January 1988, pp. 240-249
29. Katz, S.: 'A superimposition control construct for distributed systems', ACM Trans. Program. Lang. Syst., 1993, 15, (2), pp. 337-356
30. Back, R., and Sere, K.: 'Superposition refinement of reactive systems', Form. Asp. Comput., 1996, 8, (3), pp. 324-346
31. Sihman, M., and Katz, S.: 'A calculus of superimpositions for distributed systems'. Proc. 1st Int. Conf. on Aspect-oriented Software Development (AOSD), Enschede, Netherlands, 22-26 April 2002, pp. 28-40
32. Katz, S., and Gil, Y.: 'Aspects and superimpositions'. Proc. Int. Workshop on Aspect-oriented Programming (ECOOP), Lisbon, Portugal, June 1999
33. Andrews, J.H.: 'Process-algebraic foundations of aspect-oriented programming', Lect. Notes Comput. Sci., 2001, 2192, pp. 187-209
34. Douence, R., Motelet, O., and Südholt, M.: 'A formal definition of crosscuts', Lect. Notes Comput. Sci., 2001, 2192, pp. 170-186
35. Wand, M., Kiczales, G., and Dutchyn, C.: 'A semantics for advice and dynamic join points in aspect-oriented programming'. Proc. Foundations of Aspect-oriented Languages Workshop (AOSD), Enschede, Netherlands, 22-26 April 2002, pp. 1-8
36. Filman, R., and Friedman, D.P.: 'Aspect-oriented programming is quantification and obliviousness'. Proc. OOPSLA 2000 Workshop on Advanced Separation of Concerns, Minneapolis, MN, October 2000
37. Bosch, J.: 'Superimposition: A component adaptation technique', Inf. Softw. Technol., 1999, 41, (5), pp. 257-273
38. Andrade, L., and Fiadeiro, J.: 'Coordination: the evolutionary dimension'. Proc. Conf. on Technology of Object-oriented Languages and Systems (TOOLS), Santa Barbara, CA, 29 July - 3 August 2001, pp. 136-147
39. Gouveia, J., Koutsoukos, G., Andrade, L., and Fiadeiro, J.: 'Tool support for coordination-based software evolution'. Proc. Conf. on Technology of Object-oriented Languages and Systems (TOOLS), IEEE, Santa Barbara, CA, 29 July - 3 August 2001, pp. 184-196
40. Kiczales, G., Ashley, J., Rodriguez, L., Vahdat, A., and Bobrow, D.: 'Metaobject protocols: why we want them and what else they can do' (The MIT Press, Cambridge, MA, 1993), pp. 101-118
41. Hirschfeld, R.: 'AspectS - aspect-oriented programming with Squeak', Lect. Notes Comput. Sci., 2003, 2591, pp. 216-232
42. Tatsubori, M., Chiba, S., Killijian, M.-O., and Itano, K.: 'OpenJava: a class-based macro system for Java', Lect. Notes Comput. Sci., 2000, 1826
43. Keller, R., and Hölzle, U.: 'Binary component adaptation', Lect. Notes Comput. Sci., 1998, 1445, pp. 307-329
44. Chiba, S.: 'Load-time structural reflection in Java', Lect. Notes Comput. Sci., 2000, 1850, pp. 313-336
45. JDrums, Java Distributed Run-time Updating Management System, 2003. http://www.ida.liu.se/~jengu/jdrums/