Deriving refactorings for aspectJ

In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they define preserve behaviour. We illustrate that by deriving several AspectJ refactorings. We also show that our laws are useful for restructuring two Java applications with the aim of using aspects to modularize common crosscutting concerns. Categories and Subject Descriptors D.1 [Software]: Programming Techniques—Aspect-Oriented Programming; D.3.2 [Programming Languages]: Language Classifications—AspectJ General Terms Languages Keywords refactoring, AspectJ, Aspect-Oriented Programming, separation of concerns

• Type: Conference
• Year: 2004
• Where: OOPSLA
• Authors: Leonardo Cole, Paulo Borba
• Keywords: Aspect-oriented Programming, Aspect-oriented Programming Laws, AspectJ Refactorings, OOPSLA 2004