AOP as a formal framework for runtime monitoring

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.