abc : An Extensible AspectJ Compiler

Avgustinov, Pavel; Christensen, Anne‐Sofie; Hendren, Laurie; Kuzins, Sascha; Lhoták, Jennifer; Lhoták, Ondřej; Moor, Oege de; Sereni, Damien; Sittampalam, Ganesh; Tibble, Julian

doi:10.1007/11687061_9

Cited by 127 publications

(203 citation statements)

References 21 publications

Supporting

Mentioning

184

Contrasting

Unclassified

Order By: Relevance

“…This is a limitation of AspectJ's expressiveness. An AspectJ extension could be accomplished to define advice precedence on a fine-grained approach, by using the ABC compiler [6], for example. In this case, the semantic intent of the refactoring could be expressed syntactically.…”

Section: Refactoring 1 Extract Resource To Aspect -Aftermentioning

confidence: 99%

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming

Alves

Matos

Cole

et al. 2007

Transactions on Aspect-Oriented Software Development IV

View full text Add to dashboard Cite

Abstract. For some organizations, the proactive approach to product lines may be inadequate due to prohibitively high investment and risks. As an alternative, the extractive and the reactive approaches are incremental, offering moderate costs and risks, and therefore sometimes may be more appropriate. However, combining these two approaches demands a more detailed process at the implementation level. This paper presents a method and a tool for extracting a product line and evolving it, relying on a strategy that uses refactorings expressed in terms of simpler programming laws. The approach is evaluated with a case study in the domain of games for mobile devices, where variations are handled with aspect-oriented constructs.

show abstract

Section: Refactoring 1 Extract Resource To Aspect -Aftermentioning

confidence: 99%

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming

Alves

Matos

Cole

et al. 2007

Transactions on Aspect-Oriented Software Development IV

View full text Add to dashboard Cite

show abstract

“…The causality trees we have introduced in the aspect join calculus are a direct generalization of this model to the chemical setting. Of course, efficient implementations of aspect languages do not implement control-flow pointcuts or trace-based matching by relying on such costly structures [3,37,27]: instead, following the principles of partial evaluation [29], they statically evaluate which join points might potentially affect causality-related decisions, and introduce as little statebased indicators and bookkeeping operations as possible. Related techniques have been explored outside of the AOP community as well.…”

Section: Dealing With Causalitymentioning

confidence: 99%

Chemical foundations of distributed aspects

Tabareau

Tanter

2018

Distrib. Comput.

View full text Add to dashboard Cite

Distributed applications are challenging to program because they have to deal with a plethora of concerns, including synchronization, locality, replication, security and fault tolerance. Aspect-oriented programming (AOP) is a paradigm that promotes better modularity by providing means to encapsulate crosscutting concerns in entities called aspects. Over the last years, a number of distributed aspect-oriented programming languages and systems have been proposed, illustrating the benefits of AOP in a distributed setting.Chemical calculi are particularly well-suited to formally specify the behavior of concurrent and distributed systems. The join calculus is a functional name-passing calculus, with both distributed and object-oriented extensions. It is used as the basis of concurrency and distribution features in several mainstream languages like C# (Polyphonic C#, now Cω), OCaml (JoCaml), and Scala Joins. Unsurprisingly, practical programming in the join calculus also suffers from modularity issues when dealing with crosscutting concerns.We propose the Aspect Join Calculus, an aspectoriented and distributed variant of the join calculus that addresses crosscutting and provides a formal foundation for distributed AOP. We develop a minimal aspect join calculus that allows aspects to advise chemical reactions. We show how to deal with causal relations in pointcuts and how to support advanced customizable aspect weaving semantics. We also provide the foun-N. Tabareau

show abstract

“…using JavaMOP [18] or tracematches [1]. The engineer then uses some specification compiler such as JavaMOP or the AspectBench Compiler [4] (abc) to automatically translate these finite-state-property definitions into AspectJ monitoring aspects. These aspects may already be annotated with appropriate Dependency State Machines: we extended abc to generate annotations automatically when transforming tracematches into AspectJ aspects.…”

Section: Architecture Of Claramentioning

confidence: 99%

“…Clara started out as an extension to the AspectBench Compiler [4] that was specific to one single specification formalism for runtime monitors, called tracematches [1]. At ECOOP 2007, we presented a set of three static analyses that attempt to statically optimize tracematches at compile time [14].…”

Section: Further Reading On Clara and Its Analysesmentioning

confidence: 99%

See 1 more Smart Citation

Clara: Partially Evaluating Runtime Monitors at Compile Time

Bodden

Lam

2010

Runtime Verification

View full text Add to dashboard Cite

Abstract. Clara is a novel static-analysis framework for partially evaluating finite-state runtime monitors at compile time. Clara uses static typestate analyses to automatically convert any AspectJ monitoring aspect into a residual runtime monitor that only monitors events triggered by program locations that the analyses failed to prove safe. If the static analysis succeeds on all locations, this gives strong static guarantees. If not, the efficient residual runtime monitor is guaranteed to capture property violations at runtime. Researchers can use Clara with most runtime-monitoring tools that implement monitors as AspectJ aspects.In this tutorial supplement, we provide references to related reading material that will allow the reader to obtain in-depth knowledge about the context in which Clara can be applied and about the techniques that underlie the Clara framework.

show abstract

abc : An Extensible AspectJ Compiler

Cited by 127 publications

References 21 publications

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming

Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming

Chemical foundations of distributed aspects

Clara: Partially Evaluating Runtime Monitors at Compile Time

Contact Info

Product

Resources

About