Trace-Based Aspects

Rémi Douence 1 Pascal Fradet 2 Mario Südholt 1
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
Abstract : This chapter presents trace-based aspects which take into account the history of program executions in deciding what aspect behavior to invoke. Such aspects are defined in terms of execution traces and may express relations between different events. Weaving is accomplished through an execution monitor which modifies the base program execution as defined by the aspects. We motivate trace-based aspects and explore the trade-off between expressiveness and property enforcement/analysis. More concretely, we first present an expressive model of trace-based aspects enabling proofs of aspect properties by equational reasoning. Using a restriction of the aspect language to regular expressions, we show that it becomes possible to address the difficult problem of interactions between conflicting aspects. Finally, by restricting the actions performed by aspects, we illustrate how to keep the semantic impact of aspects under control and to implement weaving statically.
Type de document :
Chapitre d'ouvrage
Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00000947
Contributeur : Pascal Fradet <>
Soumis le : jeudi 15 décembre 2005 - 18:14:59
Dernière modification le : mardi 4 décembre 2018 - 11:08:10
Document(s) archivé(s) le : vendredi 3 septembre 2010 - 15:35:56

Fichiers

Identifiants

  • HAL Id : inria-00000947, version 1

Citation

Rémi Douence, Pascal Fradet, Mario Südholt. Trace-Based Aspects. Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004. 〈inria-00000947〉

Partager

Métriques

Consultations de la notice

389

Téléchargements de fichiers

257