Taming Aspects with Membranes

Éric Tanter 1 Nicolas Tabareau 2 Rémi Douence 2
2 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : In most aspect-oriented languages, aspects have an unrestricted global view of computation. Several approaches for aspect scoping and more strongly encapsulated modules have been formulated to restrict this controversial power of aspects. This paper proposes to leverage the concept of programmable membranes developed by Boudol, Schmitt and Stefani, as a means to tame aspects by customizing the semantics of aspect weaving locally. Membranes subsume previous proposals in a uniform framework. Because membranes give structure to computation, they enable flexible scoping of aspects; because they are programmable, they make it possible to define visibility and safety constraints, both for the advised program and for the aspects. We first describe embranes for AOP without committing to any specific language design. In addition, we then illustrate an extension of AspectScheme with membranes, and explore the instantiation of programmable membranes in the Kell calculus. The power and simplicity of embranes open interesting perspectives to unify multiple approaches that tackle the unrestricted power of aspect-oriented programming.
Type de document :
Pré-publication, Document de travail
2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00592133
Contributeur : Nicolas Tabareau <>
Soumis le : mercredi 11 mai 2011 - 13:21:44
Dernière modification le : jeudi 11 janvier 2018 - 06:22:31
Document(s) archivé(s) le : jeudi 30 mars 2017 - 10:16:03

Fichier

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

Identifiants

  • HAL Id : inria-00592133, version 1

Collections

Citation

Éric Tanter, Nicolas Tabareau, Rémi Douence. Taming Aspects with Membranes. 2011. 〈inria-00592133v1〉

Partager

Métriques

Consultations de la notice

39

Téléchargements de fichiers

25