Expressive scoping of dynamically-deployed aspects

Tanter, Éric

doi:10.1145/1353482.1353503

Cited by 40 publications

(54 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Different scoping strategies are possible when dealing with dynamic deployment [40]. Because we are in a monadic setting, we can pass the aspect environment implicitly using a monad.…”

Section: Aspect Deploymentmentioning

confidence: 99%

See 1 more Smart Citation

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

Figueroa

Tabareau

Tanter

2014

Transactions on Aspect-Oriented Software Development XI

Self Cite

View full text Add to dashboard Cite

Abstract. Aspect-oriented programming (AOP) aims to enhance modularity and reusability in software systems by offering an abstraction mechanism to deal with crosscutting concerns. However, in most general-purpose aspect languages aspects have almost unrestricted power, eventually conflicting with these goals. In this work we present Effective Aspects: a novel approach to embed the pointcut/advice model of AOP in a statically-typed functional programming language like Haskell. Our work extends EffectiveAdvice, by Oliveira, Schrijvers and Cook; which lacks quantification, and explores how to exploit the monadic setting in the full pointcut/advice model. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types and a new anti-unification type class. Aspects are first-class, can be deployed dynamically, and the pointcut language is extensible, therefore combining the flexibility of dynamically-typed aspect languages with the guarantees of a static type system. Monads enables us to directly reason about computational effects both in aspects and base programs using traditional monadic techniques. Using this we extend Aldrich's notion of Open Modules with effects, and also with protected pointcut interfaces to external advising. These restrictions are enforced statically using the type system. Also, we adapt the techniques of EffectiveAdvice to reason about and enforce control flow properties. Moreover, we show how to control effect interference using the parametricity-based approach of EffectiveAdvice. However this approach falls short when dealing with interference between multiple aspects. We propose a different approach using monad views, a recently developed technique for handling the monad stack. Finally, we exploit the properties of our monadic weaver to enable the modular construction of new semantics for aspect scoping and weaving. These semantics also benefit fully from the monadic reasoning mechanisms present in the language. This work brings type-based reasoning about effects for the first time in the pointcut/advice model, in a framework that is both expressive and extensible; thus allowing development of robust aspect-oriented systems as well as being a useful research tool for experimenting with new aspect semantics.

show abstract

“…Different scoping strategies are possible when dealing with dynamic deployment [40]. Because we are in a monadic setting, we can pass the aspect environment implicitly using a monad.…”

Section: Aspect Deploymentmentioning

confidence: 99%

“…While we have not yet developed the more advanced scoping mechanisms found in these languages [40], we believe there are no specific challenges in this regard. The key difference here is that these languages are both dynamically typed, while we have managed to reconcile this high level of flexibility with static typing.…”

Section: Related Workmentioning

confidence: 99%

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

Figueroa

Tabareau

Tanter

2014

Transactions on Aspect-Oriented Software Development XI

Self Cite

View full text Add to dashboard Cite

show abstract

“…In earlier work, we used deployment on a block of code like in CaesarJ [4] to separate design changing aspects used in different test cases [2]. Deployment on a block is particularly powerful in combination with expressive aspect scoping [21].…”

Section: Aspect Deploymentmentioning

confidence: 99%

“…Tanter generalized the scope of aspects with a set of propagation or scoping functions [21]. An aspect can, for example, be propagated over the call stack at particular join points or into object references to enable a so called pervasive scoping.…”

Section: Scopingmentioning

confidence: 99%

“…The join point model is based on a user-defined AST-transformation, so that every syntactic element can be included as a join point. The language interface facilitates the configuration of different dynamic deployment methods (global, per block, per reference) and scoping mechanisms (stack/reference propagation) [4,6,21], and the extension of pointcut and advice [1].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Meta-Aspect Protocol for Developing Dynamic Analyses

Achenbach

Ostermann

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Dynamic aspect-oriented programming has been widely used for the development of dynamic analyses to abstract over low-level program instrumentation. Due to particular feature requirements in different analysis domains like debugging or testing, many different aspect languages were developed from scratch or by extensive compiler or interpreter extensions. We introduce another level of abstraction in form of a meta-aspect protocol to separate the host language from the analysis domain. A language expert can use this protocol to tailor an analysisspecific aspect language, based on which a domain expert can develop a particular analysis. Our design enables a flexible specification of the join point model, configurability of aspect deployment and scoping, and extensibility of pointcut and advice language. We present the application of our design to different dynamic analysis domains.

show abstract

The Meta in Meta-object Architectures

Denker

Suen

Ducasse

2008

Objects, Components, Models and Patterns

View full text Add to dashboard Cite

Abstract. Behavioral reflection is crucial to support for example functional upgrades, on-the-fly debugging, or monitoring critical applications. However the use of reflective features can lead to severe problems due to infinite meta-call recursion even in simple cases. This is especially a problem when reflecting on core language features since there is a high chance that such features are used to implement the reflective behavior itself. In this paper we analyze the problem of infinite meta-object call recursion and solve it by providing a first class representation of meta-level execution: at any point in the execution of a system it can be determined if we are operating on a meta-level or base level so that we can prevent infinite recursion. We present how meta-level execution can be represented by a meta-context and how reflection becomes contextaware. Our solution makes it possible to freely apply behavioral reflection even on system classes: the meta-context brings stability to behavioral reflection. We validate the concept with a robust implementation and we present benchmarks.

show abstract

Expressive scoping of dynamically-deployed aspects

Cited by 40 publications

References 38 publications

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice

A Meta-Aspect Protocol for Developing Dynamic Analyses

The Meta in Meta-object Architectures

Contact Info

Product

Resources

About