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 :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00070188
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 7:26:05 PM
Last modification on : Friday, June 22, 2018 - 9:30:01 AM
Long-term archiving on : Sunday, April 4, 2010 - 8:28:42 PM

Identifiers

  • HAL Id : inria-00070188, version 1

Citation

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⟩

Share

Metrics

Record views

501

Files downloads

113