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

Towards a Concurrent Model of Event-based Aspect-Oriented Programming

Rémi Douence 1 Jacques Noyé 1
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
Abstract : The Event-based Aspect-Oriented Programming model (EAOP) makes it possible to define pointcuts in terms of sequences of events emitted by the base program. The current formalization of the model relies on a monolithic entity, the monitor, which observes the execution of the base program and executes the actions associated to the matching pointcut. This model is not intrinsically sequential but its current formalization favors a sequential point of view. In this paper, we present a new formalization of EAOP as finite state processes. This new formalization paves the way to reasoning about aspects in a concurrent setting and to the definition and implementation of concurrent EAOP languages.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 7:26:05 PM
Last modification on : Friday, February 4, 2022 - 3:19:38 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:28:42 PM


  • HAL Id : inria-00070188, version 1


Rémi Douence, Jacques Noyé. Towards a Concurrent Model of Event-based Aspect-Oriented Programming. [Research Report] RR-5838, INRIA. 2006, pp.11. ⟨inria-00070188⟩



Record views


Files downloads