Relational aspects as tracematches

7th International Conference on Aspect-Oriented Software Development, AOSD.08 - Research Track Proceedings

Volumn , Issue , 2008, Pages 84-95

  Bodden, Eric ^a   Shaikh, Reehan ^a   Hendren, Laurie ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

aspect oriented programming; control flow abstraction; high level design; inter object relationships

Indexed keywords

ASPECT-J; ASPECT-ORIENTED PROGRAMMING; BINARY RELATIONSHIPS; CONTROL-FLOW; DIRECT REDUCTION; EFFICIENT IMPLEMENTATION; EMPIRICAL STUDIES; HIGH-LEVEL DESIGN; IMPLEMENTATION SCHEME; LANGUAGE CONSTRUCTS; LANGUAGE EXTENSIONS; LANGUAGE FEATURES; MEMORY FOOTPRINT; MICROBENCHMARKS; OBJECT-ORIENTED PROGRAM; RUNTIME OVERHEADS; SEQUENCE OF EVENTS; SOFTWARE DEVELOPMENT; TEST CASE;

ABSTRACTING; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; DESIGN; FUNCTIONAL PROGRAMMING; LINGUISTICS; OBJECT ORIENTED PROGRAMMING;

SOFTWARE DESIGN;

EID: 77954012250     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1353482.1353493     Document Type: Conference Paper

References (24)

1. C. Allan, P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. Adding Trace Matching with Free Variables to AspectJ. In Int. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 345-364. ACM Press, 2005.
2. I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann. An overview of caesarj. Lecture Notes in Computer Science : Transactions on Aspect-Oriented Software Development I, pages 135-173, 2006.
3. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. abc: An extensible AspectJ compiler. In Int. Conference on Aspect-Oriented Software Development (AOSD), pages 87-98. ACM Press, 2005.
4. P. Avgustinov, J. Tibble, E. Bodden, O. Lhoták, L. Hendren, O. de Moor, N. Ongkingco, and G. Sittampalam. Efficient trace monitoring. Technical Report abc-2006-1, http://www.aspectbench.org/, March 2006.
5. P. Avgustinov, J. Tibble, and O. de Moor. Making trace monitors feasible. In Int. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM press, 2007. To appear.
6. S. Balzer, T. R. Gross, and P. Eugster. A relational model of object collaborations and its use in reasoning about relationships. In Ernst [11], Lecture Notes in Computer Science. pages 323-346.
7. L. Bergmans and M. Aksit. Composing crosscutting concerns using composition filters. Communications of the ACM, 44(10):51-57, 2001.
8. E. Bodden, L. J. Hendren, and O. Lhoták. A staged static program analysis to improve the performance of runtime monitoring. In Ernst [11], Lecture Notes in Computer Science. pages 525-549.
9. E. Bodden, R. Shaikh, and L. Hendren. Relational aspects as tracematches. Technical Report abc-2007-4, http://www.aspectbench.org/, 10 2007.
10. F. Chen and G. Roşu. MOP: An Efficient and Generic Runtime Verification Framework. In Int. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM press, 2007. To appear.
11. E. Ernst, editor. ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, volume 4609 of Lecture Notes in Computer Science. Springer, 2007.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.
13. D. Garlan and M. Shaw. An introduction to software architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, pages 1-39, Singapore, 1993. World Scientific Publishing Company.
14. J. Gosling, B. Joy, G. Steele, and G. Bracha. Java Language Specification, Third Edition: The Java Series. Prentice Hall, 2005.
15. J. Hannemann and G. Kiczales. Design pattern implementation in Java and AspectJ. In Int. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 161-173. ACM press, 2002.
16. R. Laddad. AspectJ in Action. Manning, 2003.
17. D. J. Pearce and J. Noble. Relationship aspects. In Int. Conference on Aspect-Oriented Software Development (AOSD), pages 75-86. ACM Press, 2006.
18. D. J. Pearce and J. Noble. Relationship aspects. In European Conference on Pattern Languages of Programs (EuroPLOP), pages 531-546. Universitä tsverlag Konstanz, 2006.
19. K. Sakurai, H. Masuhara, N. Ubayashi, S. Matsuura, and S. Komiya. Association aspects. In K. Lieberherr, editor, Int. Conference on Aspect-Oriented Software Development (AOSD), pages 16-25. ACM press, 2004.
20. K. Sakurai, H. Masuhara, N. Ubayashi, S. Matsuura, and S. Komiya. Design and implementation of an aspect instantiation mechanism. Transactions on Aspect-Oriented Software Development I, 3880:259-292, 2006.
21. K. Sullivan, L. Gu, and Y. Cai. Non-modularity in aspect-oriented languages: integration as a crosscutting concern for AspectJ. In Int. Conference on Aspect-Oriented Software Development (AOSD), pages 19-26. ACM Press, 2002.
22. D. Suvée, W. Vanderperren, and V. Jonckers. Jasco: an aspect-oriented approach tailored for component based software development. In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development, pages 21-29, New York, NY, USA, 2003. ACM.
23. K. G. van den Berg and J. M. Conejero. A conceptual formalization of crosscutting in AOSD. In Desarrollo de Software Orientado a Aspectos (DSOA2005), Granada, Spain, volume 24/05, pages 46-52. Universidad de Extremadura, September 2005.
24. M. Vaziri, F. Tip, S. Fink, and J. Dolby. Declarative object identity using relation types. In Ernst [11], Lecture Notes in Computer Science. pages 54-78.