AOP for the domain of runtime monitoring: Breaking out of the code-based model

Proceedings of the 4th Workshop on Domain-Specific Aspect Languages, DSAL '09, Co-located with the 8th International Conference on Aspect-Oriented Software Development, AOSD.09

Volumn , Issue , 2009, Pages 7-10

  Nusayr, Amjad ^a   Cook, Jonathan ^a  

^a New Mexico State University   (United States)

Author keywords

Aspect oriented programming; runtime monitoring

Indexed keywords

ASPECT-ORIENTED PROGRAMMING; RUNTIME MONITORING;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; MONITORING; SOFTWARE DESIGN;

NETWORK COMPONENTS;

EID: 77953974466     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1509307.1509310     Document Type: Conference Paper

References (15)

1. I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann. An Overview of CaesarJ. LNCS : Transactions on Aspect-Oriented Software Development I, 3880:135-173, 2006.
2. P. Avgustinov, E. Bodden, E. Hajiyev, L. Hendren, O. Lhoták, O. de Moor, N. Ongkingco, D. Sereni, G. Sittampalam, J. Tibble, and M. Verbaere. Aspects for Trace Monitoring. In LNCS 4262: Formal Approaches to Testing Systems and Runtime Verification (FATES/RV), pages 20-39, 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 AOSD05: Proc. 4th Int'l Conf. on Aspect-Oriented Software Development, pages 87-98, 2005.
4. T. Ball. The Concept of Dynamic Analysis. SIGSOFT Softw. Eng. Notes, 24(6):216-234, 1999.
5. E. Bodden and K. Havelund. Racer: Effective Race Detection Using AspectJ. In ISSTA08: Proc. 2008 Int'l Symp. on Software Testing and Analysis, pages 155-166, 2008.
6. E. Bodden, L. J. Hendren, P. Lam, O. Lhotak, and N. A. Naeem. Collaborative Runtime Verification with Tracematches. In LNCS 4839: 7th Int'l Workshop on Runtime Verification, pages 22-37, 2007.
7. F. Chen and G. Roşu. MOP: An Efficient and Generic Runtime Verification Framework. In OOPSLA07: Object-Oriented Programming, Systems, Languages and Applications, pages 569-588. ACM press, 2007.
8. K. Chen and C.-H. Chien. Extending the Field Access Pointcuts of AspectJ to Arrays. In The 20th ACM International Conference on Supercomputing(ICS'06), pages 470-475. ACM press, 2006.
9. Y. Coady, C. Gibbs, M. Haupt, J. Vitek, and H. Yamauchi. Towards a Domain-Specific Aspect Language for Virtual Machines. In DSAL06: Proc. 1st AOSD Workshop on Domain Specific Aspect Lang., Oct. 2006.
10. R. Dyer and H. Rajan. Nu: a Dynamic Aspect-Oriented Intermediate Language Model and Virtual Machine for Flexible Runtime Adaptation. In AOSD08: Proc. 7th Int'l Conf. on Aspect-Oriented Software Development, pages 191-202, 2008.
11. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The Daikon System for Dynamic Detection of Likely Invariants. Sci. Comput. Program., 69(1-3):35-45, 2007.
12. B. Harbulot and J. R. Gurd. A Join Point for Loops in AspectJ. In AOSD06: Proc. 5th Int'l Conf. on Aspect-Oriented Software Devel., pages 63-74, 2006.
13. H. Rajan and K. Sullivan. Aspect Language Features for Concern Coverage Profiling. In AOSD05: Proc. 4th Int'l Conf. on Aspect-Oriented Software Development, pages 181-191, 2005.
14. B. A. Schroeder. On-Line Monitoring: A Tutorial. Computer, 28(6):72-78, 1995.
15. W. Sousan, V. Winter, M. Zand, and H. Siy. ERTSAL: a Prototype of a Domain-Specific Aspect Language for Analysis of Embedded Real-Time Systems. In DSAL07: Proc. 2nd Workshop on Domain Specific Aspect Lang., 2007.