Towards a standard design language for AOSD

For aspect-oriented software development (AOSD) to live up to be-ing a software engineering method, there must be support for the separation of crosscutting concerns across the development lifecy-cle. Part of this support is traceability from one lifecycle phase to another. This paper investigates the traceability between one particu-lar AOSD design-level language, Theme/UML, and one particular AOSD implementation-level language, AspectJ. This provides for a means to assess these languages and their incompatibilities, with a view towards eventually developing a standard design language for a broad range of AOSD approaches. 1