Concurrent EAOP (CEAOP)
(Participants:
Rémi Douence,
Didier Le Botlan,
Jacques Noyé,
Mario Südholt)
Concurrency has been identified early as one of the most important
crosscutting concerns to which AOP techniques should be highly
beneficial. The (few) current approaches that allow aspects for
concurrency to be defined almost exclusively harness some
general-purpose AOP languages, such as AspectJ, to define
issues of independency of execution and synchronization using
low-level concurrency libraries. They do not, however, provide
AO-specific abstractions for concurrency.
The goal of the CEAOP project is to improve on this state-on-affairs,
in particular by investigating the following features of an aspect
language for concurrency:
- Synchronization of aspects and base applications as well as
among aspects expressed directly in terms of entities of the
aspect language
- Formal definition that in particular supports model
checking.
- Support for flexible synchronization policies
through aspect composition operators.
- Implementation in mainstream languages.
We have formally defined a first model meeting these characteristics,
see the GPCE'06 publication cited below.
- R. Douence, D. Le Botlan, J. Noyé, M. Südholt
-
"Concurrent aspects", 5th Int.
Conf. on Generative Programming and Component Engineering
(GPCE'06), ACM Press, Oct. 2006.
last modification on 4 Aug. 2006 by Mario Südholt