Aspect-Oriented Monitoring of UML and OCL Constraints

We present an approach utilizing aspect-oriented programming (AOP) techniques for mapping between different abstraction levels of software. The goal is to facilitate validation and testing of a software implementation against constraints specified on an associated UML model. We use AOP techniques for defining a monitor that observes the behavior of an implementation and maps it to model behavior. The model behavior is then validated against constraints with an existing tool. Constraint violations can thus be identified and traced to a specification of the model.