DMCA
Adding Trace Matching with Free Variables to AspectJ (2005)
Cached
Download Links
- [abc.comlab.ox.ac.uk]
- [www.runtime-verification.org]
- DBLP
Other Repositories/Bibliography
| Venue: | In OOPSLA ’05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications |
| Citations: | 163 - 10 self |
BibTeX
@INPROCEEDINGS{Allan05addingtrace,
author = {Chris Allan and Pavel Avgustinov and Aske Simon Christensen and Laurie Hendren and Sascha Kuzins and Oege De Moor and Damien Sereni and Ganesh Sittampalam and Julian Tibble},
title = {Adding Trace Matching with Free Variables to AspectJ},
booktitle = {In OOPSLA ’05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications},
year = {2005},
pages = {345--364},
publisher = {ACM Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspect can make are confined to the current action: it is not possible to directly observe the history of a computation. Recently, there have been several interesting proposals for new history-based language features, most notably by Douence et al. and by Walker and Viggers. In this paper, we present a new history-based language feature called tracematches that enables the programmer to trigger the execution of extra code by specifying a regular pattern of events in a computation trace. We have fully designed and implemented tracematches as a seamless extension of AspectJ. A key innovation in our tracematch approach is the introduction of free variables in the matching patterns. This enhancement enables a whole new class of applications in which events can be matched not only by the event kind, but also by the values associated with the free variables. We provide several examples of applications enabled by this feature. After introducing and motivating the idea of tracematches via examples, we present a detailed semantics of our language design, and we derive an implementation from that semantics. The implementation has been realised as an extension of the abc compiler for AspectJ.
Keyphrases
free variable extra code new history-based language feature language design several interesting proposal aspectj language certain action seamless extension event kind key innovation several example abc compiler detailed semantics regular pattern current action matching pattern computation trace tracematch approach base program whole new class
