Concurrent Aspects

Rémi Douence 1, 2 Didier Le Botlan 1, 3 Jacques Noyé 1, 3 Mario Südholt 1, 3
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
2 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : Aspect-Oriented Programming (AOP) promises the modularization of so-called crosscutting functionalities in large applications. Currently, almost all approaches to AOP provide means for the description of sequential aspects that are to be applied to a sequential base program. In particular, there is no formally-defined concurrent approach to AOP, with the result that coordination issues between aspects and base programs as well as between aspects cannot precisely be investigated. This paper presents Concurrent Event-based AOP (CEAOP), which addresses this issue. Our contribution can be detailed as follows. First, we formally define a model for concurrent aspects which extends the sequential Event-based AOP approach. The definition is given as a translation into concurrent specifications using Finite Sequential Processes (FSP), thus enabling use of the Labelled Transition System Analyzer (LTSA) for formal property verification. Further, we show how to compose concurrent aspects using a set of general composition operators. Finally, we sketch a Java prototype implementation for concurrent aspects, which generates coordination specific code from the FSP model defining the concurrent AO application.
Type de document :
Communication dans un congrès
5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, 2006, Generative Programming And Component Engineering - Proceedings of the 5th international conference on Generative programming and component engineering. 〈http://doi.acm.org/10.1145/1173706.1173718〉. 〈10.1145/1173706.1173718〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00467938
Contributeur : Noyé Jacques <>
Soumis le : lundi 29 mars 2010 - 15:53:13
Dernière modification le : mardi 16 janvier 2018 - 14:37:58

Identifiants

Collections

Citation

Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt. Concurrent Aspects. 5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, 2006, Generative Programming And Component Engineering - Proceedings of the 5th international conference on Generative programming and component engineering. 〈http://doi.acm.org/10.1145/1173706.1173718〉. 〈10.1145/1173706.1173718〉. 〈inria-00467938〉

Partager

Métriques

Consultations de la notice

191