Methods & Foundations

Afanti is a project aimed at developing techniques and tools to support testing and analysis of aspect-oriented software.

AIRPort is a portal offering a variety of information on the emerging research domains of aspect identification (a.k.a. aspect mining), aspect refactoring and aspect evolution.

AOPim is a method for the progressive implementation of persistent, distributed, and concurrent applications using aspect-oriented programming.

aopmetrics is a common metrics tool for the object-oriented and the aspect-oriented programming. It aims to provide an aspect-oriented extension of metrics suites proposed by Chidamber and Kemerer, Robert Martin, Henry and Li.

Aspect-Oriented Component Engineering uses the concept of horizontal slices through vertically-decomposed components called aspects to characterize crosscutting properties of components. Aspect-Oriented Frameworks is research on frameworks for aspect-oriented software development.

Aspect-Oriented Software Engineering aims to develop support for aspects throughout the development life cycle--specific application areas include middleware, component-based systems and databases.

ARJ unifies aspect-oriented programming and stepwise software development. It extends AspectJ with language constructs for aspect refinement and mixin-based aspect inheritance and composition.

Assessment: Does AOP Work? uses case study and experimental methods to evaluate AOP techniques and tools.

Composition Filters offer a modular extension to the object-oriented model that allows the modular specification of aspects in a composable way.

Cosmos is a concern-space modeling schema that supports the modeling of multidimensional concern spaces for purposes of software composition, decomposition, analysis, and understanding. D2AL provides a methodology, an aspect language and tools that support the development of robust and efficient distributed applications.

Demeter Aspects points to Demeter subprojects about the foundations of the separation of crosscutting concerns.

DisCo is a formal specification method that supports advanced separation of concerns for distributed reactive systems.

Dynamic Aspect-Oriented Platform defines a distributed platform that provides dynamic composition between components and aspects as plug-ins.

Event-based AOP is a formal framework for AOP featuring expressive crosscut definitions.

The FeatureC++ Project investigates weaknesses of feature-oriented and aspect-oriented languages. It proposes the integration of AOP concepts into FOP langugages in order to face the problems of FOP in crosscutting modularity.

Filter Objects Project is a project on first-class dynamically-pluggable filter objects and related modeling methods and notations.

Implicit Context is an approach to improving the reusability and evolvability of systems through the reduction of extraneous embedded knowledge.

Jinghu is a project that aims at developing software metrics and their support tools for aspect-oriented systems.

Join Point Designation Diagrams (JPDDs) are a visual means to render join point selections (aka pointcuts) with the help of UML symbols.

mosd.net is a research project dealing with method oriented software development and programming concepts (MOSD). These concepts are similar to the aspect oriented concepts, resulting in smaller, non-redundant and well-separated, comprehensive program code—but without breaking the encapsulation that is provided by object oriented programming.
The project leads development of the programming language C-mol, a method oriented programming language that is compatible to and can be used together with any C++ code.
C-mol and the method oriented development and programming concepts are very easy to learn since they are along the lines of the object oriented concepts and do not introduce tons of new terminology and syntax.

Phoenix is an an Aspect-Oriented Approach for Software Reengineering using Transformations.

Prospects is a project aimed at investigating how aspect oriented components can be used to derive useful models of specific concerns.

Quality Controlled Component-based Software Development (QCCS) is a project that is developing a methodology and supporting tools for the creation of components with contracts and based on AOSD. Semantics of Aspect-Oriented Programming (SAOP) is an effort to study constructs for AOP (e.g. method call interception), in particular their language design, their formal semantics, and their relation to program transformation.

RIVAR is a project studying assumptions aspect developers make and how they can be used to define aspect interfaces and support modular verification.

Synbad is an architecture design approach for identifying and composing architectural aspects.

Tarim is a project that develops automated tools for testing aspect-oriented programs.

Theme/UML is an aspect-oriented extension to the UML. Vanderbilt/ISIS is working in the area of applying core AOP principles toward domain-specific visual modeling languages. XBel is a framework for reasoning about compositions of concerns on the requirements level.