HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 : Friday, February 4, 2022 - 3:16:47 AM
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⟩



Record views


Files downloads