Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages

Date
2003-11-01
Authors
Clifton, Curtis
Leavens, Gary
Wand, Mitchell
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Authors
Research Projects
Organizational Units
Computer Science
Organizational Unit
Journal Issue
Series
Abstract

Formal study of aspect-oriented languages is difficult because current theoretical models provide a range of features that is too limited and rely on encodings using lower-level abstractions, which involve a cumbersome level of indirection. We present a calculus, based on Abadi and Cardelli�s object calculus, that explicitly models a base language and a variety of point cut description languages. This explicit modeling makes clear the aspect-oriented features of the calculus by removing the indirection of some existing models. We demonstrate the generality of our calculus by presenting models for AspectJ�s open classes and advice, and HyperJ�s compositions, and sketching a model for DemeterJ�s adaptive methods.

Description
Keywords
Parameterized aspect calculus, object calculus, join point model, point cut description language, aspect-oriented programming, AspectJ, advice, HyperJ, hyperslices, DemeterJ, adaptive methods
Citation
DOI
Source
Collections