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 metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000947
Contributor : Pascal Fradet <>
Submitted on : Thursday, December 15, 2005 - 6:14:59 PM
Last modification on : Tuesday, December 4, 2018 - 11:08:10 AM
Long-term archiving on : Friday, September 3, 2010 - 3:35:56 PM

Files

Identifiers

  • HAL Id : inria-00000947, version 1

Collections

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⟩

Share

Metrics

Record views

430

Files downloads

264