Includes the workshop report and the position papers. 1 2 3 1 2 3 2 Abstract.

Aspect-oriented modeling deals with cross-cutting concerns at early stages of the software development. Weaving involves highly abstract aspect descriptions, and it is necessary to take into account application specific constraints. We adopt a role-based aspect-oriented modeling method and define a notion of the aspect weaving in a systematic way. We further discuss how we use Alloy, a lightwei...

Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented programming share the same goal, which is to reduce dependency among components for better reusability. However, existing aspect-oriented programming languages/ frameworks, in particular, AspectJ, are not perfectly suitable for expre...

The importance of security in the development of complex software systems has increasingly become more critical as software becomes increasingly more pervasive in our everyday lives. Aspect-orientation has been proposed as a means to handle the crosscutting nature of security requirements when developing, designing and implementing security-critical applications. This paper surveys some of the ...

The proof of the behaviour-preserving property of programming laws is not trivially demonstrated. It is necessary to show that the programs, before and after the transformation, have the same behaviour. In this paper we show how it is possible to prove that an aspect-oriented programming law preserves behaviour; an operational semantics for Method Call Interception is used. An equivalence relat...

Aspect-Oriented Programming is gaining prominence, particularly in the area of security. There are however no taxonomies available, that classify the proliferation of research done in the area of Aspect-Oriented Security. This paper attempts to categorize research outputs conducted in this area, and evaluate the usability of the aspectoriented paradigm in terms of software security.

In this paper, we discuss the benefits of using aspect-oriented programming to develop parallel applications. We use aspects to separate parallelisation concerns into three categories: partition, concurrency and distribution. The achieved modularisation enables us to assemble a variety of platform specific parallel applications, by composing combinations of (reusable) aspect modules into domain...

As the field of aspect-oriented software development [14] has become more firmly established certain emphasis has now been diverted to introducing the benefits of the approach to existing software where aspects were not made explicit during design or implementation. This paper proposes an automatic, dynamic analysis-based approach to aspect mining that affords the recovery of reuse aspectual vi...

It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Using aspect-oriented programming, changes can be modularized and made reapplicable. In this paper, selected change types in web applications are analyzed. They are expressed in terms of general change types which, in turn, are impleme...