AOP as a formal framework for runtime monitoring

Authors:
Amjad Nusayr
Affiliations:
Department of Computer Science, New Mexico State University, Las Cruces, New Mexico, USA
Venue:
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Year:
2008

Citing 5
Cited 0

abc: an extensible AspectJ compiler

Proceedings of the 4th international conference on Aspect-oriented software development
A join point for loops in AspectJ

Proceedings of the 5th international conference on Aspect-oriented software development
Mop: an efficient and generic runtime verification framework

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Aspects for trace monitoring

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
A staged static program analysis to improve the performance of runtime monitoring

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Creating instrumentation for runtime monitoring has typically required expertise in some low-level capabilities and how to integrate them into an application program. This thesis proposes that runtime monitoring would be much easier if it could be performed at a high level, and furthermore that aspect-oriented programming (AOP) is a good abstraction to raise runtime monitoring to a more abstract level. Our thesis will extend the ideas and implementations of AOP to show that AOP is the ideal high level abstraction for effectively and efficiently meeting the needs of runtime monitoring.