Forward chaining in HALO: an implementation strategy for history-based logic pointcuts

Authors:
Charlotte Herzeel;Kris Gybels;Pascal Costanza;Coen De Roover;Theo D'Hondt
Affiliations:
Vrije Universiteit Brussel;Vrije Universiteit Brussel;Vrije Universiteit Brussel;Vrije Universiteit Brussel;Vrije Universiteit Brussel
Venue:
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Year:
2007

Citing 15
Cited 2

Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Describing Prolog by its interpretation and compilation

Communications of the ACM
The Art of the Metaobject Protocol

The Art of the Metaobject Protocol
Arranging language features for more robust pattern-based crosscuts

Proceedings of the 2nd international conference on Aspect-oriented software development
Temporal Logic Programming with Metric and Past Operators

IJCAI '93 Proceedings of the Workshop on Executable Modal and Temporal Logics
A Formal Definition of Crosscuts

REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
Extending the RETE Algorithm for Event Management

TIME '02 Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02)
Hybrid aspects for weaving object-oriented functionality and rule-based knowledge

Proceedings of the 3rd international conference on Aspect-oriented software development
Adding trace matching with free variables to AspectJ

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Detecting and resolving ambiguities caused by inter-dependent introductions

Proceedings of the 5th international conference on Aspect-oriented software development
Modularizing crosscuts in an e-commerce application in Lisp using HALO

Proceedings of the 2007 International Lisp Conference
Separation of concerns with procedures, annotations, advice and pointcuts

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Expressive pointcuts for increased modularity

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Context-aware aspects

SC'06 Proceedings of the 5th international conference on Software Composition
Aspects for trace monitoring

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification

Symbiosis in logic-based pointcuts over a history of join points

Proceedings of the 2008 ACM symposium on Applied computing
Context-aware service engineering: A survey

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

In aspect-oriented programming, pointcuts are formulated as conditions over the context of dynamic events in the execution of a program. Hybrid pointcut languages also allow this context to come from interaction between the pointcut language and the base program. While some pointcut languages only allow conditions on the current execution event, more recent proposals have demonstrated the need for expressing conditions over a history of joinpoints. Such pointcut languages require means to balance the expressiveness of the language with the additional memory and runtime overhead caused by keeping a history of joinpoint context data. In this paper, we introduce a logic-based pointcut language that allows interaction with the base program as well as pointcuts over a history of joinpoints. We introduce forward chaining as an implementation model for this language, and discuss possible optimization strategies for the additional overhead.