Modular programming with aspectual collaborations

Ovlinger, Johan

doi:10.1145/985072.985081

Cited by 7 publications

(6 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Aspectual Collaborations enjoy a number of important properties including strong encapsulation, type safety and the possibility of separately compiling and checking module definitions. Ovlinger's thesis [30] includes a typed calculus that integrates Aspectual Collaborations with Featherweight Java, and he proves type soundness. The formalism in this work is specialized to the system of aspectual collaborations, whereas we develop a simpler, more generic platform for the study of aspects.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A type-theoretic interpretation of pointcuts and advice

Ligatti

Walker

Zdancewic

2006

Science of Computer Programming

View full text Add to dashboard Cite

This article defines the semantics of MinAML, an idealized aspect-oriented programming language, by giving a type-directed translation from a user-friendly external language to a compact, well-defined core language. We argue that our framework is an effective way to give semantics to aspect-oriented programming languages in general because the translation eliminates shallow syntactic differences between related constructs and permits definition of an elegant and extensible core language.The core language extends the simply-typed lambda calculus with two central new abstractions: explicitly labeled program points and first-class advice. The labels serve both to trigger advice and to mark continuations that the advice may return to. These constructs are defined orthogonally to the other features of the language and we show that our abstractions can be used in both functional and object-oriented contexts. We prove Preservation and Progress lemmas for our core language and show that the translation from MinAML source into core is type-preserving. Together these two results imply that the source language is type safe. We also consider several extensions to our basic framework including a general mechanism for analyzing the current call stack.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Lieberherr, Lorenz and Ovlinger's Aspectual Collaborations [29,30] study the problem of how to combine aspects with modules. Their proposal allows module programmers to choose the join points (i.e., control-flow points) that they will expose to external advice.…”

Section: Related Workmentioning

confidence: 99%

A type-theoretic interpretation of pointcuts and advice

Ligatti

Walker

Zdancewic

2006

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…The Aspectual Collaborations of Ovlinger et al [41,52,53] continue previous work on aspectual components, enabling recursive composition of collaboration patterns as modules. So-called aspectual methods extend the usual binding between expected (or required) and provided interfaces by allowing a form of method call interception across modules in which the intercepting and the intercepted method can remain oblivious of each other.…”

Section: Aspectual Collaborationsmentioning

confidence: 99%

“…Aspectual collaborations[41,52,53] as promoted byOvlinger et al are an alternative approach to combining aspects and modularity in the form of components; again, see the appendix.…”

mentioning

confidence: 99%

The paradoxical success of aspect-oriented programming

Steimann

2006

SIGPLAN Not.

View full text Add to dashboard Cite

Aspect-oriented programming is considered a promising new technology. As object-oriented programming did before, it is beginning to pervade all areas of software engineering. With its growing popularity, practitioners and academics alike are wondering whether they should start looking into it, or otherwise risk having missed an important development. The author of this essay finds that much of aspect-oriented programming's success seems to be based on the conception that it improves both modularity and the structure of code, while in fact, it works against the primary purposes of the two, namely independent development and understandability of programs. Not seeing any way of fixing this situation, he thinks the success of aspect-oriented programming to be paradoxical.

show abstract

“…Rather than compiling the whole language directly, input collaborations are translated into Core ACs (CACs), which are transliterated into Java, compiled, and £nally manipulated at the bytecode level. As several important steps will be elided in the following presentation, we refer the interested reader to the compiler itself [19].…”

Section: Aspectual Collaboration Compilermentioning

confidence: 99%

Aspectual Collaborations: Combining Modules and Aspects

Lieberherr¹

2003

The Computer Journal

View full text Add to dashboard Cite

Complex behavior often resists clean modularization in object-oriented languages. Aspectoriented programming tackles this problem by providing ¤exible module boundaries that can span and partition classes. However, in order to achieve this ¤exibility, valuable modularity mechanisms, such as encapsulation and external composition, are lost. The ability to separately compile or reason about a modular unit is also compromised. We propose that this tradeoff is not necessary, and that by expressing aspects as part of our modules, we can restore lost modular properties while maintaining aspectual features. As a concrete demonstration, we present the main features of Aspectual Collaborations, and show how these interact to combine modularity with aspectual behavior. The expressiveness of Aspectual Collaborations, AspectJ, and Hyper/J are compared using a challenge problem, allowing us to estimate the effectiveness of the approach.

show abstract

Modular programming with aspectual collaborations

Cited by 7 publications

References 5 publications

A type-theoretic interpretation of pointcuts and advice

A type-theoretic interpretation of pointcuts and advice

The paradoxical success of aspect-oriented programming

Aspectual Collaborations: Combining Modules and Aspects

Contact Info

Product

Resources

About