CompAr: Ensuring Safe Around Advice Composition

Renaud Pawlak 1 Laurence Duchien 1, 2 Lionel Seinturier 3, 1, 2
1 JACQUARD - Weaving of Software Components
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
3 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : Advanced techniques in separation of concerns such as Aspect-Oriented Programming, help to develop more maintainable and more efficient applications by providing means for modularizing crosscutting concerns. However, conflicts may appear when several concerns need to be composed for the same application, especially when dealing with around advice. We call this problem the Aspect Composition Issue (ACI). Based on our experience in programming aspects, this paper presents a language called CompAr, which allows the programmer to abstractly define an execution domain, the advice codes, and their execution constraints. The CompAr compiler then evaluates the definitions in order to check if the execution constraints are fulfilled. Using a concrete AOP case study, we show how to use the CompAr language in order to detect and avoid ACIs.
Type de document :
Communication dans un congrès
7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOD'05), Jun 2005, Athens, Greece. Springer, 3535, pp.163-178, 2005, Lecture Notes in Computer Science. 〈10.1007/11494881_11〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00446489
Contributeur : Lionel Seinturier <>
Soumis le : mardi 12 janvier 2010 - 21:32:04
Dernière modification le : vendredi 31 août 2018 - 09:25:54
Document(s) archivé(s) le : vendredi 18 juin 2010 - 00:46:01

Fichier

fmoods.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Renaud Pawlak, Laurence Duchien, Lionel Seinturier. CompAr: Ensuring Safe Around Advice Composition. 7th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOD'05), Jun 2005, Athens, Greece. Springer, 3535, pp.163-178, 2005, Lecture Notes in Computer Science. 〈10.1007/11494881_11〉. 〈inria-00446489〉

Partager

Métriques

Consultations de la notice

207

Téléchargements de fichiers

109