HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Composition, reuse and interaction analysis of stateful aspects

Rémi Douence 1 Pascal Fradet 2 Mario Südholt 1
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
Abstract : Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orrthogonal and aspect interaction is a fundamental problem. In this paper, we extend previous work on a generic framework for the formal definition and interaction analysis of stateful aspects. We propose three important extensions which enhance expressivity while preserving static analyzability of interactions. First, we provide support for variables in aspects in order to share information between different execution points. This allows the definition of more precise aspects and to avoid detection of spurious conflicts. Second, we introduce generic composition operators for aspects. This enables us to provide expressive support for the resolution of conflicts among interacting aspects. Finally, we offer a means to define applicability conditions for aspects. This makes interaction analysis more precise and paves the way for reuse of aspects by making explicit requirements on contexts in which aspects must be used.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

Contributor : Pascal Fradet Connect in order to contact the contributor
Submitted on : Thursday, December 15, 2005 - 5:59:54 PM
Last modification on : Friday, February 4, 2022 - 3:19:32 AM
Long-term archiving on: : Tuesday, September 7, 2010 - 5:53:00 PM


  • HAL Id : inria-00000946, version 1



Rémi Douence, Pascal Fradet, Mario Südholt. Composition, reuse and interaction analysis of stateful aspects. 3rd International Conferance on Aspect-Oriented Software Development, Mar 2004, Lancaster, UK. ⟨inria-00000946⟩



Record views


Files downloads