Trace-based Aspects

@inproceedings{Douence2004TracebasedA,
  title={Trace-based Aspects},
  author={R{\'e}mi Douence and Pascal Fradet and Mario S{\"u}dholt},
  year={2004}
}
In this article, we present trace-based aspects which take i nto account the history of program executions. They are defined in terms of ex ecution traces and may express relations between different events. Weavin g is modeled by an execution monitor which modifies the base program executi on as defined by the aspects. We motivate trace-based aspects and explore o tions within the trade-off between expressiveness and property enforce ment/analysis. More concretely, we first present a very… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Enforceable security policies

ACM Trans. Inf. Syst. Secur. • 2000

A framework for the detection and resolution of aspect interactions

O. Motelet Douence, M. Südholt
Proceedings of the ACM SIG - PLAN / SIGSOFT Conference on Generative Programming and Component Engineering ( GPCE ’ 02 )

Aspect - oriented logic meta programming

Pierre Cointe
ACM Transactions on Information and System Security

Similar Papers

Loading similar papers…