Skip to Main content Skip to Navigation
Book sections

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.
Document type :
Book sections
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Pascal Fradet Connect in order to contact the contributor
Submitted on : Thursday, December 15, 2005 - 6:14:59 PM
Last modification on : Thursday, January 20, 2022 - 4:17:27 PM
Long-term archiving on: : Friday, September 3, 2010 - 3:35:56 PM



  • HAL Id : inria-00000947, version 1



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⟩



Les métriques sont temporairement indisponibles