Modeling crosscutting applications in untyped aspect calculus

The untyped aspect calculus provides direct support for aspects and other related constructs of aspect-oriented programming languages. The calculus uses object and aspect rather than function as its primitive constructs and define operations on these primitives directly. In this paper, we present how the untyped aspect calculus, a minimal language representing the essence of the class of aspect-oriented programming languages, can be used to model various crosscutting applications. The paper discusses some of common crosscutting applications like caching and logging using the UML notations along with their modeling details in the aspect calculus.