On to formal semantics for path expression pointcuts

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On to formal semantics for path expression pointcuts

Full text

Pdf (155 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2008 ACM symposium on Applied computing table of contents

Fortaleza, Ceara, Brazil

SESSION: Programming for separation of concerns table of contents

Pages 271-275

Year of Publication: 2008

ISBN:978-1-59593-753-7

Authors

Mohammed Al-Mansari	University of Duisburg-Essen, Germany
Stefan Hanenberg	University of Duisburg-Essen, Germany
Rainer Unland	University of Duisburg-Essen, Germany

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 38, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1363686.1363754 What is a DOI?

ABSTRACT

In aspect-oriented programming (AOP), the join point selection depends heavily on the context exposed to aspects by means of special pointcut constructs. This context is either local to the join point (e.g. target of method calls) or non-local (e.g. call-stack). Path expression pointcut (PEP) is a special kind of pointcut that provides aspects with the access to non-local object information. In order to implement PEP, a well-defined unambiguous semantics for PEP is needed. This paper proposes a denotational semantics for PEP, which unambiguously describes the result of evaluating the PEP. Moreover, it helps to guide future developments of the PEP and its integration with AOP system.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Al-Mansari, M., Hanenberg, S. Path Expression Pointcuts: Abstracting over Non-Local Object Relationships in Aspect-Oriented Languages. In Proc. of NODe. September, 2006. Erfurt, Germany. LNI v. P-88, pp.81--96.
	2	Al-Mansari, M., Hanenberg, S., Unland, R. Aspect-Oriented Programming: Selecting and Exposing Object Paths. In ETAPS Software Composition. March, 2007. Braga, Portugal. (© LNCS - to appear).
	3	Mohammed Al-Mansari , Stefan Hanenberg , Rainer Unland, Orthogonal persistence and AOP: a balancing act, Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software, p.2-es, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1233901.1233903]
	4	Pavel Avgustinov , Elnar Hajiyev , Neil Ongkingco , Oege de Moor , Damien Sereni , Julian Tibble , Mathieu Verbaere, Semantics of static pointcuts in aspectJ, Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, January 17-19, 2007, Nice, France
	5	Douence, R., Teboul, L. A Pointcut Language for Control-Flow. In Proc. of GPCE. October, 2004. Vancouver, Canada. LNCS, vol. 3286, pp. 95--114.
	6	Ramez Elmasri , Shamkant B. Navathe, Fundamentals of Database Systems, Fourth Edition, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2003
	7	Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William Griswold, Getting started with ASPECTJ, Communications of the ACM, v.44 n.10, p.59-65, Oct. 2001 [doi>10.1145/383845.383858]
	8	Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J. M., Irwin, J. Aspect-oriented programming. In ECOOP. June, 1997. Jyväskylä, Finland. LNCS 1241, pp. 220--242.
	9	Lieberherr, K., Wand, M. Traversal semantics in object graphs. Tech. Rep. NU-CCS-2001-05, Northeastern University, Boston, MA. 2001.
	10	David A. Schmidt, Denotational semantics: a methodology for language development, William C. Brown Publishers, Dubuque, IA, 1986
	11	Philip Wadler, A formal semantics of patterns in XSLT and XPath, Markup Languages, v.2 n.2, p.183-202, Spring 2000 [doi>10.1162/10996620052104302]
	12	David Walker , Steve Zdancewic , Jay Ligatti, A theory of aspects, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.127-139, August 25-29, 2003, Uppsala, Sweden
	13	Mitchell Wand , Gregor Kiczales , Christopher Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.26 n.5, p.890-910, September 2004 [doi>10.1145/1018203.1018208]