Monitoring Systems White Papers
Aspect-Oriented Monitoring of UML and OCL Constraints
Overview This paper presents 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. The paper shows 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.
| Publisher | EADS | File Format | PDF, requires Acrobat Rdr 5 |
|---|---|---|---|
| Date Published | August 2003 | Downloads | 12 |
| Format | White Papers | ||
| Topics | |||



