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

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.

REFERENCES

• 1: Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C. V., Loingtier, J. M., Irwin, J.: Aspect-oriented programming. In: Proceedings of the European conference on Object-Oriented Programming, Springer-Verlag (Jun 1997)
• 2: Kiczales, G., Mezini, M.: Separation of concerns with procedures, annotations, advice and pointcuts. In: European Conference on Object-Oriented Programming, ECOOP 2005. (2005)
• 3: Chris Allan , Pavel Avgustinov , Aske Simon Christensen , Laurie Hendren , Sascha Kuzins , Ondřej Lhoták , Oege de Moor , Damien Sereni , Ganesh Sittampalam , Julian Tibble, Adding trace matching with free variables to AspectJ, Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
• 4: Ostermann, K., Mezini, M., Bockisch, C.: Expressive pointcuts for increased modularity. In: European Conference on Object-Oriented Programming. (2005)
• 5: Maja D'Hondt , Viviane Jonckers, Hybrid aspects for weaving object-oriented functionality and rule-based knowledge, Proceedings of the 3rd international conference on Aspect-oriented software development, p.132-140, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976287]
• 6: Kris Gybels , Johan Brichau, Arranging language features for more robust pattern-based crosscuts, Proceedings of the 2nd international conference on Aspect-oriented software development, p.60-69, March 17-21, 2003, Boston, Massachusetts [doi>10.1145/643603.643610]
• 7: Wilke Havinga , Istvan Nagy , Lodewijk Bergmans , Mehmet Aksit, Detecting and resolving ambiguities caused by inter-dependent introductions, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119684]
• 8: Windeln, T.: Logicaj - eine erweiterung von aspectj um logische meta-programmierung. Diploma thesis, CS Dept. III, University of Bonn, Germany (Aug 2003)
• 9: Herzeel, C., Gybels, K., Costanza, P.: Modularizing crosscuts in an e-commerce application in Lisp using HALO. In: Proceedings of the International Lisp Conference 2007. (2007)
• 10: Bobrow, D., DeMichiel, L., Gabriel, R., Keene, S., Kiczales, G., Moon, D.: Common lisp object system specification. Lisp and Symbolic Computation 1(3--4) (January 1989) 245--394
• 11: Kowalski, R.: Predicate logic as programming language. In: IFIP Congress. (1974) 569--574 Reprinted in Computers for Artificial Intelligence Applications, (eds. Wah, B. and Li, G.-J.), IEEE Computer Society Press, Los Angeles, 1986, pp. 68--73.
• 12: Jacques Cohen, Describing Prolog by its interpretation and compilation, Communications of the ACM, v.28 n.12, p.1311-1324, Dec. 1985 [doi>10.1145/214956.214960]
• 13: Gergatsoulis, M.: Temporal and modal logic programming languages. In Kent, A., Williams, J. G., eds.: Encyclopedia of Microcomputers. Volume 27., New York, Marcel Dekker, Inc (2001) 393--408
• 14: Bodden, E.: J-LO -- A tool for runtime-checking temporal assertions. Master's thesis, RWTH Aachen university (2005)
• 15: Christoph Brzoska, Temporal Logic Programming with Metric and Past Operators, Proceedings of the Workshop on Executable Modal and Temporal Logics, p.21-39, August 28, 1993
• 16: Gregor Kiczales , Jim Des Rivieres, The Art of the Metaobject Protocol, MIT Press, Cambridge, MA, 1991
• 17: Stuart J. Russell , Peter Norvig, Artificial intelligence: a modern approach, Prentice-Hall, Inc., Upper Saddle River, NJ, 1995
• 18: Tanter, É., Gybels, K., Denker, M., Bergel, A.: Context-aware aspects. Lecture Notes in Computer Science, Proceedings of the 5th International Symposium on Software Composition (SC 2006) 4089 (2006) 227--242
• 19: Rémi Douence , Olivier Motelet , Mario Südholt, A Formal Definition of Crosscuts, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, p.170-186, September 25-28, 2001
• 20: Sittampalam, G.: Abc version 1.1.1 release announcement http://abc.comlab.ox.ac.uk/archives/announce/2006-Mar/0000.html.
• 21: Avgustinov, P., Bodden, E., Hajiyev, E., Hendren, L., Lhotak, O., de Moor, O., Ongkingco, N., Sereni, D., Sittampalam, G., Tibble, J., Verbaere, M.: Aspects for trace monitoring. In: Invited paper at FATES/RV 2006. (2006)
• 22: Avgustinov, P., Tibble, J., Bodden, E., Lhotak, O., Hendren, L., de Moor, O., Ongkingco, N., Sittampalam, G.: Efficient trace monitoring. Technical Report abc-2006-1, ABC Group (2006)
• 23: Teodosiu, D., Pollak, G.: Discarding unused temporal information in a production system. In: Int. Conf. on Information and Knowledge Management, Baltimore. (1992)
• 24: Bruno Berstel, Extending the RETE Algorithm for Event Management, Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02), p.49, July 07-09, 2002